Certified Foata normalization for generalized traces
author
statement of authorship
Hendrik Maarand, Tarmo Uustalu
source
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 299-314
series
Lecture notes in computer science ; 10811
Programming and software engineering ; 10811
conference name, date
10th International Symposium : NFM 2018 : April 17-19, 2018
conference location
Newport News, USA
ISSN
0302-9743
ISBN
978-3-319-77934-8
notes
Bibliogr.: 17 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
subject of form
kvartiil
classifier
category (general)
Reserch Group
Maarand H., Uustalu T. Certified Foata normalization for generalized traces // NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings. Cham : Springer, 2018. p. 299-314. (Lecture notes in computer science ; 10811, Programming and software engineering ; 10811).