Tinelli invited lecturer at 13th Summer School on Formal Techniques
Prof. Tinelli gave a series of lectures at the Thirteenth Summer School on Formal Techniques on modeling and analyzing reactive systems with logic-based symbolic model checkers.
Prof. Tinelli gave a series of lectures at the Thirteenth Summer School on Formal Techniques on modeling and analyzing reactive systems with logic-based symbolic model checkers.