Introduction to Progsbase
This presentation introduces the main ideas behind progsbase and how progsbase can be used to make programs that lasts longer, is easier to analyze and that have less bugs.
This presentation introduces the main ideas behind progsbase and how progsbase can be used to make programs that lasts longer, is easier to analyze and that have less bugs.
