Computer verification of algorithms using a formal proof system, Markus Kaiser
No one has rated yet.Add rating