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
Be the first to leave a comment!
You must be logged in first