Automated Formalisation for Verification of Diagrammatic Models
James R. Williams, Fiona A.C. PolackVolume:
263
Year:
2010
Language:
english
Pages:
16
DOI:
10.1016/j.entcs.2010.05.013
File:
PDF, 1.05 MB
english, 2010