Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016
View Other Search Results
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / de la Puente, Juan Antonio
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Introduction to Software Quality O’Regan, Gerard. author.
Yazar
Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Bieger, Jordi. editor.
Format:
Electronic Resources
Alıntı:
Lecture Notes in Computer Science,