J. P. Bowen1956 · 6 obras en el catálogoObrasFormal methodsFormal methods and testingIndustrial-strength formal methods in practiceHigh-integrity system specification and designTTowards verified systemsTowards verified systemsApplications of formal methods