Journal Article

Formal methods for system specification

Hinchey M

IEEE Potentials (1993) 12(3) 50-52

DOI: 10.1109/45.282296

6Citations

7Readers

Cite

CITATION STYLE

APA

Hinchey, M. G. (1993). Formal methods for system specification. IEEE Potentials, 12(3), 50–52. https://doi.org/10.1109/45.282296