Formal Specification is an Experimental Science (in Russian)} |
| | Type | Journal paper [With referee] | | Journal | Programmirovanie | | Year | 1991 Vol. 6 pp. 24-43 | | Publisher | Russian Acad. of Science, Moscow | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|