Structuring formal specifications—a lesson relearned
Richard Mitchell, Martin Loomes, John HowseVolume:
18
Year:
1994
Language:
english
Pages:
7
DOI:
10.1016/0141-9331(94)90037-x
File:
PDF, 627 KB
english, 1994