Frank de Boer
Professor emeritus Program Correctness at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University
— 1 post published
More information
Amsterdam, NL