![](/img/cover-not-exists.png)
[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - An inheritance-based technique for building simulation proofs incrementally
Keidar, Idit, Khazan, Roger, Lynch, Nancy, Shvartsman, AlexYear:
2000
Language:
english
DOI:
10.1145/337180.337358
File:
PDF, 329 KB
english, 2000