EasyChair Smart Slide
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation
Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation