Integrating verification into the Paose approach

Link:
Autor/in:
Beteiligte Personen:
  • Duvigneau, Michael
  • Moldt, Daniel
Verlag/Körperschaft:
Univ., Dep. of Informatics
Erscheinungsjahr:
2011
Medientyp:
Text
Lizenz:
  • info:eu-repo/semantics/restrictedAccess
Quellsystem:
Forschungsinformationssystem der UHH
Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/99532d74-8597-4262-b889-517f8de6d871