Certified Foata Normalization for Generalized Traces

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-319-77935-5_21 ◽

2018 ◽

pp. 299-314

Author(s):

Hendrik Maarand ◽

Tarmo Uustalu

Download Full-text