From Tests to Proofs

Gupta, Ashutosh; Majumdar, Rupak; Rybalchenko, Andrey

doi:10.1007/s10009-012-0267-5

Lokale TagsFreigabegeschichteDetailsÜbersicht

From Tests to Proofs

Gupta, A., Majumdar, R., & Rybalchenko, A. (2013). From Tests to Proofs. International Journal on Software Tools for Technology Transfer, 15(4), 291-303. doi:10.1007/s10009-012-0267-5.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-1928-D Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-1929-B

Genre: Zeitschriftenartikel

ausblenden:

Urheber:
Gupta, Ashutosh¹, Autor
Majumdar, Rupak², Autor
Rybalchenko, Andrey^{1, 3}, Autor

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