Formal Methods Publications

For the most relevant recent publications, see

RISC Publications and Technical Reports of Group 'Formal Methods'

---

Wolfgang Schreiner

Last modified: January 19, 2012