Formal methods in programming and their applications

Authors
Pottosin
Citation
Pottosin, Formal methods in programming and their applications, SIGACT news , 24(4), 1993, pp. 70-77
Journal title
SIGACT news → ACNP
ISSN journal
01635700
Volume
24
Issue
4
Year of publication
1993
Pages
70 - 77
Database
ACNP
SICI code