author = { Bertogna, Marko AND Pinho, Luís Miguel AND Quiñones, Eduardo },

title = { Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings },

publisher = {Springer},

isbn = {9783319390833},

keywords = { Computer Science , Special purpose computers , Programming languages (Electronic computers) , Computer logic , Mathematical logic , Computer science , Software engineering , Computers, Special purpose. , Compilers (Computer programs). , Machine theory. , Softwareentwicklung , Zuverlässigkeit , Ada },

year = {2016},

booktitle = {Lecture Notes in Computer Science ; 9695},

booktitle = {Programming and Software Engineering ; 9695},

booktitle = {SpringerLink ; Bücher},

booktitle = {Springer eBook Collection ; Computer Science},

address = { Cham },

url = { http://slubdd.de/katalog?TN_libero_mab2 }