Advertentie
HOL-Z
HOL-Z - Proofomgeving voor Z gebouwd als plug-in van de generieke stellingsprover Isabelle / Hol ...
specificatie importeren importeur Importeerspecificatie bewijs omgeving
Advertentie
HOL-Z - Proofomgeving voor Z gebouwd als plug-in van de generieke stellingsprover Isabelle / Hol ...
specificatie importeren importeur Importeerspecificatie bewijs omgeving
Over ons