Original language | English |
---|---|
Publication status | Published - 1997 |
A Proof Obligation Generator for the IFAD VDM-SL Toolbox
Research output: Thesis › Diploma Thesis
Research output: Thesis › Diploma Thesis
Original language | English |
---|---|
Publication status | Published - 1997 |