1. Sacred Heart College (Autonomous)
  2. 000 Computer science, Information & General works
  3. 0.1 Data Processing & Computer Science
Please use this identifier to cite or link to this item: http://localhost:8080/xmlui/handle/123456789/56750
Title: Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the
Authors: Beyer, Dirk Huisman, Marieke
Issue Date: 2018
Publisher: Springer Nature
URI: http://localhost:8080/xmlui/handle/123456789/56750
ISBN: 9783319899602
Appears in Collections:0.1 Data Processing & Computer Science

Files in This Item:
File Description SizeFormat 
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki.pdf348.58 kBAdobe PDFView/Open
Show full item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.