(1 - 9 from 9
)
Invited Talks - Hardware Verification Group - Concordia University -...
hvg.ece.concordia.ca
Jens Lienig, TU Dresden, Germany, August 26, “Interactive Proofs, Computer Algebra, Automation and Presentation” by Dr. Josef Urban, Radboud ...
sorted by relevance / date