FSE 2024 Rump Session
Offered By: TheIACR via YouTube
Course Description
Overview
Attend the FSE 2024 Rump Session, a 2-hour and 26-minute conference talk hosted by TheIACR. Explore cutting-edge research and developments in the field of formal methods and software engineering. Engage with leading experts as they present brief, rapid-fire talks on their latest findings, innovative ideas, and emerging trends. Gain valuable insights into the future directions of formal methods and their applications in software development and verification.
Syllabus
FSE 2024 Rump Session
Taught by
TheIACR
Related Courses
Software as a ServiceUniversity of California, Berkeley via Coursera Software Testing
University of Utah via Udacity The Hardware/Software Interface
University of Washington via Coursera Software Debugging
Saarland University via Udacity Introduction to Systematic Program Design - Part 1
The University of British Columbia via Coursera