Home
DCC eCatalog
M.__Huisman
Java program verification via a Hoare logic with abrupt termination
