Sciweavers

112

Voted

SAS
2010
Springer

175views Formal Methods» more SAS 2010»

15 years 18 days ago

ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M

Alexander Malkis, Andreas Podelski, Andrey Rybalch...

claim paper

Read More »