formal . verification . control . system . software . princeton . series . applied . mathematics . theory . applications . biology . ammari . habib . bretin . elie . garnier . josselin . garoche . pierre-loc . haddad . wassim .
Format
Author
Status
List Price