Logical systems for structured specifications (0)

by Tomasz Borzyszkowski
Venue:Theoretical Computer Science