Search Results for Julliand, Jacques.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dJulliand$00252C$002bJacques.$0026ic$003dtrue$0026ps$003d300?2024-09-17T19:36:55ZB 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-09-17T19:36:55Z2024-09-17T19:36:55ZAuthor 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-09-17T19:36:55Z2024-09-17T19:36:55ZAuthor 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/>