  |
Items where Author is "Czipó, Bence"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionCzipó, Bence and Hajdu, Ákos and Tóth, Tamás and Majzik, István (2017) Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. In: Proceedings of the 14th International Workshop on Formal Engineering approaches to Software Components and Architectures. Electronic Proceedings in Theoretical Computer Science (245). Open Publishing Association, Uppsala, pp. 31-45. |
