Doron Drusinsky. Guarding the guard: Using meta formal specifications to guard assertions. In 4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009. pages 1-5, IEEE, 2009. [doi]
@inproceedings{Drusinsky09, title = {Guarding the guard: Using meta formal specifications to guard assertions}, author = {Doron Drusinsky}, year = {2009}, url = {http://dx.doi.org/}, researchr = {https://researchr.org/publication/Drusinsky09}, cites = {0}, citedby = {0}, pages = {1-5}, booktitle = {4th IEEE International Conference on System of Systems Engineering, SoSE 2009, Albuquerque, NM, USA, 30 May - 03 Jun 2009}, publisher = {IEEE}, isbn = {978-1-4244-4766-4}, }