Your search returned 4 results.

Results
	1.	Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Russo, Alessandra [edt] Schürr, Andy [edt] Russo, Alessandra [oth] Schürr, Andy [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2018 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	2.	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, Greece, April 14-20, 2018, Proceedings, Part II by Beyer, Dirk [edt] Huisman, Marieke [edt] Beyer, Dirk [oth] Huisman, Marieke [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2018 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	3.	Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings by Yokota, Rio [edt] Wu, Weigang [edt] Yokota, Rio [oth] Wu, Weigang [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2018 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)
	4.	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, Greece, April 14-20, 2018, Proceedings, Part I by Beyer, Dirk [edt] Huisman, Marieke [edt] Beyer, Dirk [oth] Huisman, Marieke [oth] Series: Material type: Article; Format: available online Language: English Publication details: Cham Springer Nature 2018 Online access: OAPEN Library: download the publication OAPEN Library: description of the publication Availability: No items available. Found in Open Library: Add to cart (remove)

Report a problem