VerifyThis 2019: a program verification competition

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
VerifyThis 2019: a program verification competition ; day:19 ; month:5 ; year:2021 ; pages:1-11
International journal on software tools for technology transfer ; (19.5.2021), 1-11

Urheber
Dross, Claire
Furia, Carlo A.
Huisman, Marieke
Monahan, Rosemary
Müller, Peter
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10009-021-00619-x
URN
urn:nbn:de:101:1-2021091808391146218522
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:29 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Dross, Claire
  • Furia, Carlo A.
  • Huisman, Marieke
  • Monahan, Rosemary
  • Müller, Peter
  • SpringerLink (Online service)

Ähnliche Objekte (12)