Programming, proving, and calculation

W.H.J. Feijen, A.J.M. Gasteren, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Samenvatting

No abstract.
Originele taal-2Engels
TitelTeaching and Learning Formal Methods
RedacteurenC.N. Dean, M.G. Hinchey
Plaats van productieLondon
UitgeverijAcademic Press Inc.
Pagina's197-243
ISBN van geprinte versie0-12-349040-5
StatusGepubliceerd - 1996

Citeer dit