Automatic translation of VDM specifications into standard ML programs

Computer Journal

Volumn 35, Issue 6, 1992, Pages 623-624

  O'neill, G ^a  

^a NATIONAL PHYSICAL LABORATORY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042518953     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/35.6.623     Document Type: Article

References (0)