Automatically Checking an Implementation against Its Formal Specification (2000)

by Sergio Antoy , Dick Hamlet
Venue:IEEE Transactions on Software Engineering
Citations:55 - 2 self