Michael G. Hinchey1969 · 5 obras en el catálogoObrasAgent technology from a formal perspectiveIndustrial-strength formal methods in practiceHigh-integrity system specification and designApplications of formal methodsConcurrent systems1995