34269 articles – 26876 Notices  [english version]
.:. Consultation > Par auteur > Asuka .:.
1 document

fulltext access Discharging Proof Obligations from Atelier B using Multiple Automated Provers
Mentré D., Marché C., Filliâtre J.-C., Asuka M.
Dans ABZ - 3rd International Conference on Abstract State Machines, Alloy, B and Z (2012) [hal-00681781 - version 1]