|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2016
Anzahl der Publikationen: 1
2016
Senjak, Christoph-Simon und Hofmann, Martin
(2016):
An Implementation of Deflate in Coq.
In: Fitzgerald, John (Hrsg.):
FM 2016: Formal Methods. 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Programming and Software Engineering, Bd. 9995. Cham: Springer. S. 612-627