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
Diese Liste wurde am
Sat Dec 21 19:19:10 2024 CET
erstellt.