Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Publikation: Bog/antologi/afhandling/rapportBogForskning

Bidragets oversatte titelFormal Techniques for Specification and Verification of Modula-2 Programs
OriginalsprogDansk
UdgivelsesstedAalborg
ForlagAalborg Universitetsforlag
StatusUdgivet - 1990
NavnAalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport
NummerR 90-40
ISSN0106-0791

Citationsformater