Conference Publication Details
Mandatory Fields
Monahan, R. and Geiselbrechtinger, F.
1st Irish Workshop on Formal Methods:Electronic Workshops in Computing, July 1997
Tactics for Transformational Programming
1997
Published
1
()
Optional Fields
Grant Details