Limit Search Results
Author
SpringerLink (Online service)
(37)
Batina, Lejla. editor. (orcid)0000-0003-0727-3573
(3)
Pöpper, Christina. editor.
(3)
Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813
(2)
Brodsky, Alexander. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(30)
Operating Systems.
(26)
Computer science.
(18)
Computer Communication Networks.
(14)
Application software.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
37 Results Found Subscribe to search results
0DEFAULT
Print
37. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action