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
ISSN
0302-9743
ISBN
978-3-319-77934-8
märkused
Bibliogr.: 17 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
vormimärksõna
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
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).