Automatically Checking an Implementation against its Formal Specification (2000)

by Anatoly’s, R G Hamlet
Venue:IEEE Trans. Software Eng