> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013) Beteiligte: Gheyi, Rohit; Iyoda, Juliano Erschienen: Elsevier BV, 2015 Erschienen in: Science of Computer Programming, 107-108 (2015), Seite 1 Sprache: Englisch DOI: 10.1016/j.scico.2015.05.009 ISSN: 0167-6423 Schlagwörter: Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang