![](/img/cover-not-exists.png)
[ACM 24th International Conference on Software Engineering. ICSE 2002 - Orlando, FL, USA (19-25 May 2002)] Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 - Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Xianghua Deng,, Dwyer, M.B., Hatcliff, J., Mizuno, M.Year:
2002
Language:
english
DOI:
10.1109/icse.2002.1007989
File:
PDF, 1.26 MB
english, 2002