Mattias Ulbrich · 1 obras en el catálogoObrasDDeductive Software Verification : Future PerspectivesDeductive Software Verification : Future Perspectives
DDeductive Software Verification : Future PerspectivesDeductive Software Verification : Future Perspectives