Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /
Saved in:
Meeting name: | RV (Conference) (4th : 2013 : Rennes, France) |
---|---|
Imprint: | Heidelberg : Springer, 2013. |
Description: | 1 online resource (xvii, 426 pages). |
Language: | English |
Series: | LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science, 0302-9743 ; 8174 LNCS sublibrary. SL 2, Programming and software engineering. Lecture notes in computer science ; 8174. |
Subject: | Computer software -- Verification -- Congresses. Formal methods (Computer science) -- Congresses. Computer software -- Testing -- Congresses. Computer software -- Testing. Computer software -- Verification. Formal methods (Computer science) Software -- Congresses. Electronic books. Conference papers and proceedings. Electronic books. Ebook. |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11080751 |