ISSE

Search

Integration formaler Spezifikation und Sicherheitsanalyse

Wolfgang Reif, Gerhard Schellhorn, Andreas Thums

Integration formaler Spezifikation und Sicherheitsanalyse

2001-06
published 2001 in: Germany Technical report 2001-6, Institut für Informatik, Universität Augsburg


Downloads: