Richard Bubel · 3 obras en el catálogoObrasDDeductive Software Verification - the KeY BookDeductive Software Verification - the KeY BookDDeductive Software Verification : Future PerspectivesDeductive Software Verification : Future PerspectivesLogic of Software. a Tasting Menu of Formal Methods
DDeductive Software Verification : Future PerspectivesDeductive Software Verification : Future Perspectives