[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Verification of concurrent software with FLAVERS
Naumovich, Gleb, Clarke, Lori A., Osterweil, Leon J., Dwyer, Matthew B.Year:
1997
Language:
english
DOI:
10.1145/253228.253489
File:
PDF, 340 KB
english, 1997