Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
Found 1 from your keywords: author=Hatcliff, John
cover
Tools and Algorithms for the construction and Analysys of Systems
Comment Share
Garavel, HubertHatcliff, John

9th International Conference, TACAS 2003 Held as part of the joint European Conferences on Theory and practice of software ETAPS, 2003 Warsaw, Poland, April 2003, Proceeding

Edition
1th
ISBN/ISSN
3540008985
Collation
-
Series Title
Lecture Notes in Computer Science
Call Number
-