Loading view.
Grigory Fedyukovich – Synthesizing Proofs for Program Verification
Aalto University, Maarintie 8, Lecture hall AS1Abstract Software controls every device, system, and infrastructure serving our society. […]