View in EDS PDF Full Text

Software Engineering and Formal Methods.

Saved in:
Bibliographic Details
Title: Software Engineering and Formal Methods.
Authors: HINCHEY, MIKE1,2, mike.hinchey@lero.ie, JACKSON, MICHAEL3, jacksonma@acm.org, COUSOT, PATRICK4, Patrick.Cousot@ens.fr, COOK, BYRON5, bycook@microsoft.com, BOWEN, JONATHAN P.6, jpbowen@gmail.com, MARGARIA, TIZIANA7, margarita@cs.uni-potsdam.de
Source: Communications of the ACM; Sep2008, Vol. 51 Issue 9, p54-59, 6p, 1 Color Photograph
Database: Humanities Source
Description
ISSN:00010782
DOI:10.1145/1378727.1378742