View in EDS

Specs: making formal techniques usable.

Saved in:
Bibliographic Details
Title: Specs: making formal techniques usable.
Authors: Dauphin, Michel, Fonade, Georges, Reed, Rick
Source: IEEE Software; Nov93, Vol. 10, p55-57, 3p
Database: Applied Science & Technology Source
Description
ISSN:07407459
DOI:10.1109/52.241969