Viktor Kunčak

• Computer Aided Verification