Limits to Knowledge Level-B Modeling (and KADS (1995)

by T J Menzies
Venue:In Proceedings of AI '95