Conference Publication Details
Mandatory Fields
Dr Rosemary Monahan, Prof Dominique Mery
Verification and Program Transformation 2013
Transforming Event B Models into Verified C# Implementations
2013
Published
1
()
Optional Fields
Grant Details