- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Dross, Claire
Furia, Carlo A.
Huisman, Marieke
Monahan, Rosemary
Müller, Peter
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-021-00619-x
- URN
-
urn:nbn:de:101:1-2021091808391146218522
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.545425, 7:29 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dross, Claire
- Furia, Carlo A.
- Huisman, Marieke
- Monahan, Rosemary
- Müller, Peter
- SpringerLink (Online service)
Other Objects (12)
Klinische und tierexperimentelle Untersuchungen zur Dignität von Schilddrüsenknoten unter besonderer Berücksichtigung der Feinnadelaspirationszytologie
Über die subjektiven Empfindungen von 796 Schwindelkranken
Ursachen und Ergebnisse des mechanischen Gallenwegsverschlusses unter besonderer Berücksichtigung sogenannter Recidivsteine nach Cholecystektomie
Die J131-Hippuran-Nierenclearance bei Kaninchen mit normalen Blutdrucken
Straßenbahnunfall Peter Müller, Bischofsheim
esraj
dilruba
Müller, Peter
Hochschularbeitsgemeinschaft (HAG): Abrechnung Phase 2, 1982, und Verwendungsnachweis Phase 2
Dipolmomentbestimmung und Strukturuntersuchung von trans-1,2-Dipyridyläthenen, Azaphenanthrenen und Phenanthrolinen
Müller, Peter
Menschengruppe in Bewegung, im Vordergrund Rasterpunkte (Altersgruppe 18-21)
Klinische und tierexperimentelle Untersuchungen zur Dignität von Schilddrüsenknoten unter besonderer Berücksichtigung der Feinnadelaspirationszytologie
Über die subjektiven Empfindungen von 796 Schwindelkranken
Ursachen und Ergebnisse des mechanischen Gallenwegsverschlusses unter besonderer Berücksichtigung sogenannter Recidivsteine nach Cholecystektomie
Die J131-Hippuran-Nierenclearance bei Kaninchen mit normalen Blutdrucken
Straßenbahnunfall Peter Müller, Bischofsheim
esraj
dilruba
Müller, Peter
Hochschularbeitsgemeinschaft (HAG): Abrechnung Phase 2, 1982, und Verwendungsnachweis Phase 2
Dipolmomentbestimmung und Strukturuntersuchung von trans-1,2-Dipyridyläthenen, Azaphenanthrenen und Phenanthrolinen
Müller, Peter
Menschengruppe in Bewegung, im Vordergrund Rasterpunkte (Altersgruppe 18-21)
Klinische und tierexperimentelle Untersuchungen zur Dignität von Schilddrüsenknoten unter besonderer Berücksichtigung der Feinnadelaspirationszytologie
Über die subjektiven Empfindungen von 796 Schwindelkranken
Ursachen und Ergebnisse des mechanischen Gallenwegsverschlusses unter besonderer Berücksichtigung sogenannter Recidivsteine nach Cholecystektomie
Die J131-Hippuran-Nierenclearance bei Kaninchen mit normalen Blutdrucken
Straßenbahnunfall Peter Müller, Bischofsheim
esraj
dilruba
Müller, Peter
Hochschularbeitsgemeinschaft (HAG): Abrechnung Phase 2, 1982, und Verwendungsnachweis Phase 2
Dipolmomentbestimmung und Strukturuntersuchung von trans-1,2-Dipyridyläthenen, Azaphenanthrenen und Phenanthrolinen
Müller, Peter