Mads Rosendahl

1. Abstract Interpretation as a Programming Language
   2013/09/08 by Mads Rosendahl · 2 voices
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Formal Methods in Verification