Certified foata normalization for generalized traces

vastutusandmed
Hendrik Maarand, Tarmo Uustalu
allikas
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 299-314
seeria-sari
Lecture notes in computer science ; 10811
Programming and software engineering ; 10811
konverentsi nimetus, aeg
10th International Symposium : NFM 2018 : April 17-19, 2018
konverentsi toimumispaik
Newport News, USA
vormimärksõna
ISSN
0302-9743
ISBN
978-3-319-77934-8
märkused
Bibliogr.: 17 ref
TTÜ struktuuriüksus
keel
inglise
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 International Publishing AG, 2018. p. 299-314. (Lecture notes in computer science ; 10811, Programming and software engineering ; 10811).