View in EDS PDF Full Text

New Opportunities for Integrated Formal Methods.

Saved in:
Bibliographic Details
Title: New Opportunities for Integrated Formal Methods.
Authors: GLEIRSCHER, MARIO1 Mario.Gleirscher@york.ac.uk, FOSTER, SIMON1 Simon.Foster@york.ac.uk, WOODCOCK, JIM1 Jim.Woodcock@york.ac.uk
Source: ACM Computing Surveys. Nov2020, Vol. 52 Issue 6, p1-36. 36p.
Database: Business Source Ultimate
Description
ISSN:03600300
DOI:10.1145/3357231