Search Results for Julliand, Jacques. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dJulliand$00252C$002bJacques.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026te$003dILS$0026ps$003d300?2024-11-06T20:23:17ZB 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1855762024-11-06T20:23:17Z2024-11-06T20:23:17ZAuthor Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968962024-11-06T20:23:17Z2024-11-06T20:23:17ZAuthor Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>