Search Results for Julliand, Jacques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dJulliand$00252C$002bJacques.$0026te$003dILS$0026ps$003d300? 2024-10-31T04:19:46Z B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besan&ccedil;on, France, January 17-19, 2007. Proceedings ent://SD_ILS/0/SD_ILS:185576 2024-10-31T04:19:46Z 2024-10-31T04:19:46Z Author&#160;Julliand, Jacques. editor.&#160;Kouchnarenko, Olga. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 &ndash; June 1, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196896 2024-10-31T04:19:46Z 2024-10-31T04:19:46Z Author&#160;Brucker, Achim D. editor.&#160;Julliand, Jacques. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>