Algebraic methods for specification and formal development of programs

Authors
Sannella, D Tarlecki, A
Citation
D. Sannella et A. Tarlecki, Algebraic methods for specification and formal development of programs, ACM C SURV, 31, 1999, pp. H1-H5
Citations number
8
Categorie Soggetti
Computer Science & Engineering
Journal title
ACM COMPUTING SURVEYS
ISSN journal
03600300 → ACNP
Volume
31
Year of publication
1999
Supplement
3
Pages
H1 - H5
Database
ISI
SICI code
0360-0300(199909)31:<H1:AMFSAF>2.0.ZU;2-W