INF9906 – Selected topics in static analysis
Course description
Course content
Programming errors are, depending on the application, annoying till intolerable. Many theoretical methods have been developed to prove the c
Programming errors are, depending on the application, annoying till intolerable. Many theoretical methods have been developed to prove the c