DMCA

Formal Specification with JML (2014)

by Faculty Of Informatics , Marieke Huisman , Wolfgang Ahrendt , Daniel Bruns , Martin Hentschel , Marieke Huisman , Wolfgang Ahrendt , Daniel Bruns