Deutsch
Login
Open Access
Home
Search
Browse
Publish/report a document
Help
ASM refinement preserving invariants
Gerhard Schellhorn
Download full text files
jucs_14_12_1929_1948_schellhorn.pdf
(138KB)
CC-BY-ND
Export metadata
BibTeX
RIS
Statistics
Additional Services
Metadaten
Author:
Gerhard Schellhorn
ORCiD
GND
URN:
urn:nbn:de:bvb:384-opus4-912445
Frontdoor URL
https://opus.bibliothek.uni-augsburg.de/opus4/91244
Parent Title (English):
Journal of Universal Computer Science
Publisher:
Verlag der Technischen Universität Graz
Place of publication:
Graz
Type:
Article
Language:
English
Year of first Publication:
2008
Publishing Institution:
Universität Augsburg
Release Date:
2021/12/10
Volume:
14
Issue:
12
First Page:
1929
Last Page:
1948
DOI:
https://doi.org/10.3217/jucs-014-12-1929
Institutes:
Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:
0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):
Sonstige Open-Access-Lizenz