Serna M., Edgar, Corporación Universitaria Remington, Colombia

• Vol 41, No 3 (2017) - Regular papers
  Power and limitations of formal methods for software fabrication: Thirty years later
  Abstract  PDF