Fiedor, Tomas
- Nested Antichains for WS1S
2015/01/15 by Tomáš Fiedor, Lukáš Holík, Fiedor, Tomas +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Software Testing and Debugging Techniques