#tohoku-denryoku-big-swan-stadium

icon subthematics
Theorem-prover based Testing with HOL-TestGen
Category

Documents

Theorem-prover based Testing with HOL-TestGen

Achim D. Brucker And Lukas Brügger And Burkhart Wolff

Theorem-prover based Testing with HOL-TestGen Alternate Text
Category

Documents

Savoirs

Theorem-prover based Testing with HOL-TestGen

Achim D. Brucker And Lukas Brügger And Burkhart Wolff

Book

110 pages

Flag

English

  • 1
Alternate Text