Software engineering education: Rôles of formal specification and design calculi
Dines Bjørner, Jorge R. CuéllarVolume:
6
Year:
1998
Language:
english
Pages:
45
DOI:
10.1023/a:1018969717835
File:
PDF, 258 KB
english, 1998