Search within
Links
Our Events & News
  1. FSA
  2. Books
Book
Un système de types pragmatique pour la vérification déductive des programmes
Un système de types pragmatique pour la vérification déductive des programmes
A. Heddad
Eyrolles
(2011), Pages 117