On checking the consistency of Object-Z classes
Taibi, Fathi, Daniel, Jacob K., Abbou, Fouad MohammedVolume:
32
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1281421.1281433
Date:
July, 2007
File:
PDF, 252 KB
english, 2007