Publication
Getting Computers to Understand
Publication
Validating Use-Cases with the AsmL Test Tool
Publication
Runtime Verification of .NET Contracts
Outil
MSIL backend for lcc v4.2
An lcc v4.2 backend that emits MSIL. Last published: December 11, 2002.
Publication
Shallow Finite State Verification
Publication