Viktor Kunčak

Books that list Viktor Kunčak among their authors but not as the lead author: co-written works, collections and compilations.

Computer Aided VerificationRupak Majumdar

Computer Aided Verification

Rupak Majumdar · 2017