Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Cover image
Formal Methods Proceedings Fm99 World Congress on Formal Methods in the Development of Computing Systems Toulouse France September 20-24, 1999 1 by
  • Davies, Jim [editor]
  • Wing, Jeannette M [editor]
  • Woodcock, Jim [editor]
Material type: Text Text
Language: English
Publication details: Berlin : Springer-Verlag, c1999
Online access:
Availability: Items available for loan: Circulation Section (1)Location, call number: Circulation Section 005.131 FOR.
Extending Ina Jo with Temporal Logic by
  • Wing, Jeannette M
  • Nixon, M. S
Source: IEEE Transactions on Software Engineering
Material type: Article Article; Format: print
Availability: Items available for loan: Engr Abul Kalam Library (1).
Request article
Pages