From tests to proofs

Gupta, Ashutosh; Majumdar, Rupak; Rybalchenko, Andrey

doi:10.1007/978-3-642-00768-2_24

Local TagsRelease HistoryDetailsSummary

From tests to proofs

Gupta, A., Majumdar, R., & Rybalchenko, A. (2009). From tests to proofs. In S. Kowalewski, & A. Philippou (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 262-276). Berlin: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8C21-4 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-8C22-2

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Gupta, Ashutosh¹, Author
Majumdar, Rupak², Author
Rybalchenko, Andrey^{1, 3}, Author

Affiliations:
1Group A. Rybalchenko, Max Planck Institute for Software Systems, Max Planck Society, ou_2105299
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
3Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2009

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 452342
DOI: 10.1007/978-3-642-00768-2_24

Degree: -

Event

show

hide

Title: 15th International Conference, TACAS 2009

Place of Event: York

Start-/End Date: 2009-03-22 - 2009-03-29

Legal Case

show

Project information

show

Source 1

show

hide

Title: Tools and Algorithms for the Construction and Analysis of Systems

Source Genre: Proceedings

Creator(s):
Kowalewski, Stefan, Editor
Philippou, Anna, Editor

Affiliations:
-

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 262 - 276 Identifier: ISBN: 978-3-642-00767-5

Source 2

show

hide

Title: Lecture notes in computer science

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 5505 Sequence Number: - Start / End Page: - Identifier: -