Documents
Savoirs
Theorem-prover based Testing with HOL-TestGen
Auteur
Achim D. Brucker And Lukas Brügger And Burkhart Wolff
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.