Logic And Algebra Of Specification Proceedings Of The Nato Advanced Study Institute On Logic And Algebra Of Specification Held In Marktoberdorf Germany July 23 August 4 1991
Publisher: Springer
Published: 1993
ISBN-13: 9783540558132