pieter-bos

Scientific Programmer with the VerCors project // Interested in Software Correctness, Formal Methods, Compilers and Language Design

Company:University of TwenteLocation:Enschede, Netherlands

pieter-bos's Stars