Logical systems for structured specifications (0)

by T Borzyszkowski
Venue:Theoretical Comput. Sci