Detail publikace

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. In: ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques. Munich, 2002, s. 87-88.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
2002
Strany
87-88
Sborník
ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques
Konference
International Workshop on Algebraic Development Techniques, Frauenchiemsee, DE
Místo
Munich, DE
BibTeX
@INPROCEEDINGS{FITPUB6982,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Preserving Properties in System Redesign: Rule-Based Approach",
   pages = "87--88",
   booktitle = "ProceeProceedings of the 16th International Workshop on Algebraic Development Techniques",
   year = 2002,
   location = "Munich, DE",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6982"
}
Nahoru