An abstract and constructive specification in Coq

Authors
Chavin, P Monin, JF
Citation
P. Chavin et Jf. Monin, An abstract and constructive specification in Coq, FACIT, 2001, pp. 225-240
Categorie Soggetti
Current Book Contents
Journal title
SOFTWARE SPECIFICATION METHODS → ACNP
ISSN journal
14319683
Year of publication
2001
Pages
225 - 240
Database
ISI
SICI code
1431-9683(2001):<225:AAACSI>2.0.ZU;2-1