Nikolaj Popov

Available identifiers

zbMath Open popov.nikolajMaRDI QIDQ865643

List of research outcomes

Publication	Date of Publication	Type
Sound and complete verification condition generator for functional recursive programs	2012-09-14	Paper
Using computer algebra techniques for the specification, verification and synthesis of recursive programs	2009-06-18	Paper
\textit{Theorema}: Towards computer-aided mathematical theory exploration	2007-02-20	Paper

Research outcomes over time

This page was built for person: Nikolaj Popov