skip to main content

Industrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL

IEEE Computer Society Staff Corporate Author 1999

Online access

  • Title:
    Industrial Strength Formal Specification Techniques: Proceedings, IEEE Workshop on Industrial-Strength Formal Specification Techniques (2nd: 1998: Boca Raton, FL
  • Author: IEEE Computer Society Staff Corporate Author
  • Subjects: Engineering & Applied Sciences; Computer Science
  • Publisher: Place of publication not identified IEEE Computer Society Press
  • Creation Date: 1999
  • Language: English
  • Institution Zone MMS ID: 991000624221503376$$I01TRAILS_MSU_GFC
    991009756700503368$$I01TRAILS_MSU
  • Network Zone MMS ID: 9911565580603366
  • Source: 01TRAILS ALMA

Searching Remote Databases, Please Wait