Search Results for Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qu$003dLogics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?dt=list2026-01-21T05:04:32ZApplication and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857752026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kordon, Fabrice. editor.<br/>ISBN 9783319390864<br/><a href="https://doi.org/10.1007/978-3-319-39086-4">https://doi.org/10.1007/978-3-319-39086-4</a><br/>Format: Electronic Resources<br/>Refinement Semantics, Languages and Applicationsent://SD_ILS/0/SD_ILS:20842552026-01-21T05:04:32Z2026-01-21T05:04:32Zby Derrick, John. author.<br/>ISBN 9783319927114<br/><a href="https://doi.org/10.1007/978-3-319-92711-4">https://doi.org/10.1007/978-3-319-92711-4</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency XIent://SD_ILS/0/SD_ILS:20858112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Koutny, Maciej. editor.<br/>ISBN 9783662534014<br/><a href="https://doi.org/10.1007/978-3-662-53401-4">https://doi.org/10.1007/978-3-662-53401-4</a><br/>Format: Electronic Resources<br/>Elementary Logic For Software Developmentent://SD_ILS/0/SD_ILS:5024842026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lover, Robert. author.<br/>ISBN 9781848000827<br/><a href="http://dx.doi.org/10.1007/978-1-84800-082-7">http://dx.doi.org/10.1007/978-1-84800-082-7</a><br/>Format: Electronic Resources<br/>A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviorsent://SD_ILS/0/SD_ILS:5092042026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kurki-Suonio, Reino. author.<br/>ISBN 9783540273486<br/><a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systemsent://SD_ILS/0/SD_ILS:5085212026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bowman, Howard. author.<br/>ISBN 9781846283369<br/><a href="http://dx.doi.org/10.1007/1-84628-336-1">http://dx.doi.org/10.1007/1-84628-336-1</a><br/>Format: Electronic Resources<br/>Semantics with Applications: An Appetizerent://SD_ILS/0/SD_ILS:5086392026-01-21T05:04:32Z2026-01-21T05:04:32Zby Nielson, Hanne Riis. author.<br/>ISBN 9781846286926<br/><a href="http://dx.doi.org/10.1007/978-1-84628-692-6">http://dx.doi.org/10.1007/978-1-84628-692-6</a><br/>Format: Electronic Resources<br/>Abstract Computing Machines A Lambda Calculus Perspectiveent://SD_ILS/0/SD_ILS:5092092026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kluge, W. author.<br/>ISBN 9783540273592<br/><a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:20843112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Zygelman, Bernard. author.<br/>ISBN 9783319916293<br/><a href="https://doi.org/10.1007/978-3-319-91629-3">https://doi.org/10.1007/978-3-319-91629-3</a><br/>Format: Electronic Resources<br/>Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papersent://SD_ILS/0/SD_ILS:5093242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Trinder, Phil. editor.<br/>ISBN 9783540278610<br/><a href="http://dx.doi.org/10.1007/b102274">http://dx.doi.org/10.1007/b102274</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5121432026-01-21T05:04:32Z2026-01-21T05:04:32Zby Butterfield, Andrew. editor.<br/>ISBN 9783540691754<br/><a href="http://dx.doi.org/10.1007/11964681">http://dx.doi.org/10.1007/11964681</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5127592026-01-21T05:04:32Z2026-01-21T05:04:32Zby Horváth, Zoltán. editor.<br/>ISBN 9783540741305<br/><a href="http://dx.doi.org/10.1007/978-3-540-74130-5">http://dx.doi.org/10.1007/978-3-540-74130-5</a><br/>Format: Electronic Resources<br/>Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126502026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bošnački, Dragan. editor.<br/>ISBN 9783540733706<br/><a href="http://dx.doi.org/10.1007/978-3-540-73370-6">http://dx.doi.org/10.1007/978-3-540-73370-6</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5033202026-01-21T05:04:32Z2026-01-21T05:04:32Zby Yorav, Karen. editor.<br/>ISBN 9783540779667<br/><a href="http://dx.doi.org/10.1007/978-3-540-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033342026-01-21T05:04:32Z2026-01-21T05:04:32Zby Logozzo, Francesco. editor.<br/>ISBN 9783540781639<br/><a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5100942026-01-21T05:04:32Z2026-01-21T05:04:32Zby Emerson, E. Allen. editor.<br/>ISBN 9783540316220<br/><a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121802026-01-21T05:04:32Z2026-01-21T05:04:32Zby Cook, Byron. editor.<br/>ISBN 9783540697381<br/><a href="http://dx.doi.org/10.1007/978-3-540-69738-1">http://dx.doi.org/10.1007/978-3-540-69738-1</a><br/>Format: Electronic Resources<br/>Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102822026-01-21T05:04:32Z2026-01-21T05:04:32Zby Godefroid, Patrice. editor.<br/>ISBN 9783540318996<br/><a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Variations on Constants Flow Analysis of Sequential and Parallel Programsent://SD_ILS/0/SD_ILS:5117202026-01-21T05:04:32Z2026-01-21T05:04:32Zby Müller-Olm, Markus. author.<br/>ISBN 9783540453864<br/><a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5097562026-01-21T05:04:32Z2026-01-21T05:04:32Zby Cousot, Radhia. editor.<br/>ISBN 9783540305798<br/><a href="http://dx.doi.org/10.1007/b105073">http://dx.doi.org/10.1007/b105073</a><br/>Format: Electronic Resources<br/>Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035932026-01-21T05:04:32Z2026-01-21T05:04:32Zby Havelund, Klaus. editor.<br/>ISBN 9783540851141<br/><a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105262026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lau, Kung-Kiu. editor.<br/>ISBN 9783540322504<br/><a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034222026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fiadeiro, José Luiz. editor.<br/>ISBN 9783540787433<br/><a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Dwyer, Matthew B. editor.<br/>ISBN 9783540712893<br/><a href="http://dx.doi.org/10.1007/978-3-540-71289-3">http://dx.doi.org/10.1007/978-3-540-71289-3</a><br/>Format: Electronic Resources<br/>Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5107112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ur, Shmuel. editor.<br/>ISBN 9783540326052<br/><a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format: Electronic Resources<br/>Model-Based Testing of Reactive Systems Advanced Lecturesent://SD_ILS/0/SD_ILS:5104002026-01-21T05:04:32Z2026-01-21T05:04:32Zby Broy, Manfred. editor.<br/>ISBN 9783540320371<br/><a href="http://dx.doi.org/10.1007/b137241">http://dx.doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5104012026-01-21T05:04:32Z2026-01-21T05:04:32Zby Grelck, Clemens. editor.<br/>ISBN 9783540320388<br/><a href="http://dx.doi.org/10.1007/b136772">http://dx.doi.org/10.1007/b136772</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118402026-01-21T05:04:32Z2026-01-21T05:04:32Zby Liu, Zhiming. editor.<br/>ISBN 9783540474623<br/><a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format: Electronic Resources<br/>Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:5122392026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bin, Eyal. editor.<br/>ISBN 9783540708896<br/><a href="http://dx.doi.org/10.1007/978-3-540-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format: Electronic Resources<br/>Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108402026-01-21T05:04:32Z2026-01-21T05:04:32Zby Valmari, Antti. editor.<br/>ISBN 9783540331032<br/><a href="http://dx.doi.org/10.1007/11691617">http://dx.doi.org/10.1007/11691617</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108352026-01-21T05:04:32Z2026-01-21T05:04:32Zby Baresi, Luciano. editor.<br/>ISBN 9783540330943<br/><a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103542026-01-21T05:04:32Z2026-01-21T05:04:32Zby Cerioli, Maura. editor.<br/>ISBN 9783540319849<br/><a href="http://dx.doi.org/10.1007/b107062">http://dx.doi.org/10.1007/b107062</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850572026-01-21T05:04:32Z2026-01-21T05:04:32Zby Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678<br/>ISBN 9783030003890<br/><a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Electronic Resources<br/>Unfoldings A Partial-Order Approach to Model Checkingent://SD_ILS/0/SD_ILS:5032392026-01-21T05:04:32Z2026-01-21T05:04:32Zby Esparza, Javier. author.<br/>ISBN 9783540774266<br/><a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>A Theory of Distributed Objects Asynchrony — Mobility — Groups — Componentsent://SD_ILS/0/SD_ILS:5091622026-01-21T05:04:32Z2026-01-21T05:04:32Zby Caromel, Denis. author.<br/>ISBN 9783540272458<br/><a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103732026-01-21T05:04:32Z2026-01-21T05:04:32Zby Treharne, Helen. editor.<br/>ISBN 9783540320074<br/><a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilitiesent://SD_ILS/0/SD_ILS:5024592026-01-21T05:04:32Z2026-01-21T05:04:32Zby Simon, Axel. editor.<br/>ISBN 9781848000179<br/><a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5097392026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hermenegildo, Manuel V. editor.<br/>ISBN 9783540305576<br/><a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5032412026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hudak, Paul. editor.<br/>ISBN 9783540774426<br/><a href="http://dx.doi.org/10.1007/978-3-540-77442-6">http://dx.doi.org/10.1007/978-3-540-77442-6</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5121762026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hanus, Michael. editor.<br/>ISBN 9783540696117<br/><a href="http://dx.doi.org/10.1007/978-3-540-69611-7">http://dx.doi.org/10.1007/978-3-540-69611-7</a><br/>Format: Electronic Resources<br/>B 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:5121002026-01-21T05:04:32Z2026-01-21T05:04:32Zby Julliand, Jacques. editor.<br/>ISBN 9783540687610<br/><a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Electronic Resources<br/>Logics for Computer Science Classical and Non-Classicalent://SD_ILS/0/SD_ILS:20842512026-01-21T05:04:32Z2026-01-21T05:04:32Zby Wasilewska, Anita. author.<br/>ISBN 9783319925912<br/><a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Electronic Resources<br/>Software Engineering 2 Specification of Systems and Languagesent://SD_ILS/0/SD_ILS:5108692026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bjørner, Dines. author.<br/>ISBN 9783540331933<br/><a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105162026-01-21T05:04:32Z2026-01-21T05:04:32Zby Romijn, Judi. editor.<br/>ISBN 9783540322405<br/><a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126162026-01-21T05:04:32Z2026-01-21T05:04:32Zby Davies, Jim. editor.<br/>ISBN 9783540732105<br/><a href="http://dx.doi.org/10.1007/978-3-540-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format: Electronic Resources<br/>Software Engineering 1 Abstraction and Modellingent://SD_ILS/0/SD_ILS:5098862026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bjørner, Dines. author.<br/>ISBN 9783540312888<br/><a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format: Electronic Resources<br/>Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123992026-01-21T05:04:32Z2026-01-21T05:04:32Zby Meuter, Wolfgang. editor.<br/>ISBN 9783540718369<br/><a href="http://dx.doi.org/10.1007/978-3-540-71836-9">http://dx.doi.org/10.1007/978-3-540-71836-9</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5101362026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hentenryck, Pascal. editor.<br/>ISBN 9783540316855<br/><a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Software Engineering 3 Domains, Requirements, and Software Designent://SD_ILS/0/SD_ILS:5109712026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bjøner, Dines. author.<br/>ISBN 9783540336532<br/><a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Heineman, George T. editor.<br/>ISBN 9783540320494<br/><a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papersent://SD_ILS/0/SD_ILS:5105412026-01-21T05:04:32Z2026-01-21T05:04:32Zby Abdallah, Ali E. editor.<br/>ISBN 9783540322658<br/><a href="http://dx.doi.org/10.1007/b136154">http://dx.doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Inconsistency Toleranceent://SD_ILS/0/SD_ILS:5097692026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bertossi, Leopoldo. editor.<br/>ISBN 9783540305972<br/><a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<br/>Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competitionent://SD_ILS/0/SD_ILS:5124032026-01-21T05:04:32Z2026-01-21T05:04:32Zby Liblit, Ben. author.<br/>ISBN 9783540718789<br/><a href="http://dx.doi.org/10.1007/978-3-540-71878-9">http://dx.doi.org/10.1007/978-3-540-71878-9</a><br/>Format: Electronic Resources<br/>Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papersent://SD_ILS/0/SD_ILS:5122382026-01-21T05:04:32Z2026-01-21T05:04:32Zby Virbitskaite, Irina. editor.<br/>ISBN 9783540708810<br/><a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format: Electronic Resources<br/>Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5104022026-01-21T05:04:32Z2026-01-21T05:04:32Zby Guelfi, Nicolas. editor.<br/>ISBN 9783540320395<br/><a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:5128612026-01-21T05:04:32Z2026-01-21T05:04:32Zby George, Chris W. editor.<br/>ISBN 9783540749646<br/><a href="http://dx.doi.org/10.1007/978-3-540-74964-6">http://dx.doi.org/10.1007/978-3-540-74964-6</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858862026-01-21T05:04:32Z2026-01-21T05:04:32Zby Liu, Shaoying. editor.<br/>ISBN 9783319312200<br/><a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Igarashi, Atsushi. editor.<br/>ISBN 9783319479583<br/><a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117562026-01-21T05:04:32Z2026-01-21T05:04:32Zby Najm, Elie. editor.<br/>ISBN 9783540462200<br/><a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format: Electronic Resources<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:5026632026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kröger, Fred. author.<br/>ISBN 9783540686354<br/><a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026832026-01-21T05:04:32Z2026-01-21T05:04:32Zby Suzuki, Kenji. editor.<br/>ISBN 9783540688556<br/><a href="http://dx.doi.org/10.1007/978-3-540-68855-6">http://dx.doi.org/10.1007/978-3-540-68855-6</a><br/>Format: Electronic Resources<br/>Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papersent://SD_ILS/0/SD_ILS:5124022026-01-21T05:04:32Z2026-01-21T05:04:32Zby Guelfi, Nicolas. editor.<br/>ISBN 9783540718765<br/><a href="http://dx.doi.org/10.1007/978-3-540-71876-5">http://dx.doi.org/10.1007/978-3-540-71876-5</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850672026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hasuo, Ichiro. editor.<br/>ISBN 9783319403700<br/><a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5110432026-01-21T05:04:32Z2026-01-21T05:04:32Zby Guelfi, Nicolas. editor.<br/>ISBN 9783540340645<br/><a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104442026-01-21T05:04:32Z2026-01-21T05:04:32Zby Wang, Farn. editor.<br/>ISBN 9783540320845<br/><a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5119282026-01-21T05:04:32Z2026-01-21T05:04:32Zby Margaria, Tiziana. editor.<br/>ISBN 9783540489290<br/><a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format: Electronic Resources<br/>Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853682026-01-21T05:04:32Z2026-01-21T05:04:32Zby Seipel, Dietmar. editor.<br/>ISBN 9783030008017<br/><a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format: Electronic Resources<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852322026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bošnački, Dragan. editor.<br/>ISBN 9783319325828<br/><a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129652026-01-21T05:04:32Z2026-01-21T05:04:32Zby Butler, Michael. editor.<br/>ISBN 9783540766506<br/><a href="http://dx.doi.org/10.1007/978-3-540-76650-6">http://dx.doi.org/10.1007/978-3-540-76650-6</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126202026-01-21T05:04:32Z2026-01-21T05:04:32Zby Rocca, Simona Ronchi. editor.<br/>ISBN 9783540732280<br/><a href="http://dx.doi.org/10.1007/978-3-540-73228-0">http://dx.doi.org/10.1007/978-3-540-73228-0</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126922026-01-21T05:04:32Z2026-01-21T05:04:32Zby Schmidt, Heinz W. editor.<br/>ISBN 9783540735519<br/><a href="http://dx.doi.org/10.1007/978-3-540-73551-9">http://dx.doi.org/10.1007/978-3-540-73551-9</a><br/>Format: Electronic Resources<br/>Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5104842026-01-21T05:04:32Z2026-01-21T05:04:32Zby Barley, Michael Wayne. editor.<br/>ISBN 9783540321286<br/><a href="http://dx.doi.org/10.1007/b107183">http://dx.doi.org/10.1007/b107183</a><br/>Format: Electronic Resources<br/>Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126142026-01-21T05:04:32Z2026-01-21T05:04:32Zby Derrick, John. editor.<br/>ISBN 9783540731962<br/><a href="http://dx.doi.org/10.1007/978-3-540-73196-2">http://dx.doi.org/10.1007/978-3-540-73196-2</a><br/>Format: Electronic Resources<br/>Programming Languages An Active Learning Approachent://SD_ILS/0/SD_ILS:5019912026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lee, Kent. author.<br/>ISBN 9780387794228<br/><a href="http://dx.doi.org/10.1007/978-0-387-79421-1">http://dx.doi.org/10.1007/978-0-387-79421-1</a><br/>Format: Electronic Resources<br/>Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114362026-01-21T05:04:32Z2026-01-21T05:04:32Zby Shi, Zhong-Zhi. editor.<br/>ISBN 9783540368601<br/><a href="http://dx.doi.org/10.1007/11802372">http://dx.doi.org/10.1007/11802372</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lecturesent://SD_ILS/0/SD_ILS:5103112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Boer, Frank S. editor.<br/>ISBN 9783540319399<br/><a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858462026-01-21T05:04:32Z2026-01-21T05:04:32Zby Black, Elizabeth. editor. (orcid)0000-0002-4295-449X<br/>ISBN 9783319755533<br/><a href="https://doi.org/10.1007/978-3-319-75553-3">https://doi.org/10.1007/978-3-319-75553-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5128342026-01-21T05:04:32Z2026-01-21T05:04:32Zby Boer, Frank S. editor.<br/>ISBN 9783540747925<br/><a href="http://dx.doi.org/10.1007/978-3-540-74792-5">http://dx.doi.org/10.1007/978-3-540-74792-5</a><br/>Format: Electronic Resources<br/>Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102652026-01-21T05:04:32Z2026-01-21T05:04:32Zby Zucker, Jean-Daniel. editor.<br/>ISBN 9783540318828<br/><a href="http://dx.doi.org/10.1007/11527862">http://dx.doi.org/10.1007/11527862</a><br/>Format: Electronic Resources<br/>Lectures on Runtime Verification Introductory and Advanced Topicsent://SD_ILS/0/SD_ILS:20856202026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/>ISBN 9783319756325<br/><a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857232026-01-21T05:04:32Z2026-01-21T05:04:32Zby Mazzara, Manuel. editor.<br/>ISBN 9783319415796<br/><a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126982026-01-21T05:04:32Z2026-01-21T05:04:32Zby Miguel, Ian. editor.<br/>ISBN 9783540735809<br/><a href="http://dx.doi.org/10.1007/978-3-540-73580-9">http://dx.doi.org/10.1007/978-3-540-73580-9</a><br/>Format: Electronic Resources<br/>Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sakakibara, Yasubumi. editor.<br/>ISBN 9783540452652<br/><a href="http://dx.doi.org/10.1007/11872436">http://dx.doi.org/10.1007/11872436</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855482026-01-21T05:04:32Z2026-01-21T05:04:32Zby Stevens, Perdita. editor.<br/>ISBN 9783662496657<br/><a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Software-Intensive Systems and New Computing Paradigms Challenges and Visionsent://SD_ILS/0/SD_ILS:5038112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Wirsing, Martin. editor.<br/>ISBN 9783540894377<br/><a href="http://dx.doi.org/10.1007/978-3-540-89437-7">http://dx.doi.org/10.1007/978-3-540-89437-7</a><br/>Format: Electronic Resources<br/>Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037352026-01-21T05:04:32Z2026-01-21T05:04:32Zby Clark, Alexander. editor.<br/>ISBN 9783540880097<br/><a href="http://dx.doi.org/10.1007/978-3-540-88009-7">http://dx.doi.org/10.1007/978-3-540-88009-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lecturesent://SD_ILS/0/SD_ILS:5038552026-01-21T05:04:32Z2026-01-21T05:04:32Zby Boer, Frank S. editor.<br/>ISBN 9783540921882<br/><a href="http://dx.doi.org/10.1007/978-3-540-92188-2">http://dx.doi.org/10.1007/978-3-540-92188-2</a><br/>Format: Electronic Resources<br/>Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130302026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lumpe, Markus. editor.<br/>ISBN 9783540773511<br/><a href="http://dx.doi.org/10.1007/978-3-540-77351-1">http://dx.doi.org/10.1007/978-3-540-77351-1</a><br/>Format: Electronic Resources<br/>Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:5114112026-01-21T05:04:32Z2026-01-21T05:04:32Zby Boer, Frank S. editor.<br/>ISBN 9783540367505<br/><a href="http://dx.doi.org/10.1007/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100882026-01-21T05:04:32Z2026-01-21T05:04:32Zby Pettersson, Paul. editor.<br/>ISBN 9783540316169<br/><a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859942026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fränzle, Martin. editor.<br/>ISBN 9783319448787<br/><a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857412026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ábrahám, Erika. editor.<br/>ISBN 9783319336930<br/><a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Electronic Resources<br/>Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papersent://SD_ILS/0/SD_ILS:5115272026-01-21T05:04:32Z2026-01-21T05:04:32Zby Löwe, Welf. editor.<br/>ISBN 9783540376590<br/><a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format: Electronic Resources<br/>Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papersent://SD_ILS/0/SD_ILS:5120552026-01-21T05:04:32Z2026-01-21T05:04:32Zby Dignum, Frank P. M. editor.<br/>ISBN 9783540681434<br/><a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format: Electronic Resources<br/>Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5105342026-01-21T05:04:32Z2026-01-21T05:04:32Zby Eijk, Rogier M. editor.<br/>ISBN 9783540322580<br/><a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Abstraction, Refinement and Proof for Probabilistic Systemsent://SD_ILS/0/SD_ILS:5045662026-01-21T05:04:32Z2026-01-21T05:04:32Zby McIver, Annabelle. author.<br/>ISBN 9780387270067<br/><a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format: Electronic Resources<br/>Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5094892026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gschwind, Thomas. editor.<br/>ISBN 9783540287490<br/><a href="http://dx.doi.org/10.1007/11550679">http://dx.doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855772026-01-21T05:04:32Z2026-01-21T05:04:32Zby Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/>ISBN 9783319733050<br/><a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20860912026-01-21T05:04:32Z2026-01-21T05:04:32Zby Stepney, Susan. editor. (orcid)0000-0003-3146-5401<br/>ISBN 9783319924359<br/><a href="https://doi.org/10.1007/978-3-319-92435-9">https://doi.org/10.1007/978-3-319-92435-9</a><br/>Format: Electronic Resources<br/>Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034302026-01-21T05:04:32Z2026-01-21T05:04:32Zby Pautasso, Cesare. editor.<br/>ISBN 9783540787891<br/><a href="http://dx.doi.org/10.1007/978-3-540-78789-1">http://dx.doi.org/10.1007/978-3-540-78789-1</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103802026-01-21T05:04:32Z2026-01-21T05:04:32Zby Urzyczyn, Paweł. editor.<br/>ISBN 9783540320142<br/><a href="http://dx.doi.org/10.1007/b135690">http://dx.doi.org/10.1007/b135690</a><br/>Format: Electronic Resources<br/>Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5107292026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hill, Patricia M. editor.<br/>ISBN 9783540326564<br/><a href="http://dx.doi.org/10.1007/11680093">http://dx.doi.org/10.1007/11680093</a><br/>Format: Electronic Resources<br/>Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128852026-01-21T05:04:32Z2026-01-21T05:04:32Zby Wolter, Katinka. editor.<br/>ISBN 9783540752110<br/><a href="http://dx.doi.org/10.1007/978-3-540-75211-0">http://dx.doi.org/10.1007/978-3-540-75211-0</a><br/>Format: Electronic Resources<br/>Towards Paraconsistent Engineeringent://SD_ILS/0/SD_ILS:20872122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Akama, Seiki. editor.<br/>ISBN 9783319404189<br/><a href="https://doi.org/10.1007/978-3-319-40418-9">https://doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034272026-01-21T05:04:32Z2026-01-21T05:04:32Zby King, Andy. editor.<br/>ISBN 9783540787693<br/><a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</a><br/>Format: Electronic Resources<br/>Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5101342026-01-21T05:04:32Z2026-01-21T05:04:32Zby Etalle, Sandro. editor.<br/>ISBN 9783540316831<br/><a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format: Electronic Resources<br/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:5029912026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bjørner, Dines. editor.<br/>ISBN 9783540741077<br/><a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bui, The Duy. editor.<br/>ISBN 9783540896746<br/><a href="http://dx.doi.org/10.1007/978-3-540-89674-6">http://dx.doi.org/10.1007/978-3-540-89674-6</a><br/>Format: Electronic Resources<br/>Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112992026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gorton, Ian. editor.<br/>ISBN 9783540356295<br/><a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858752026-01-21T05:04:32Z2026-01-21T05:04:32Zby Castor, Fernando. editor.<br/>ISBN 9783319452791<br/><a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20862072026-01-21T05:04:32Z2026-01-21T05:04:32Zby Skavhaug, Amund. editor.<br/>ISBN 9783319454801<br/><a href="https://doi.org/10.1007/978-3-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5035482026-01-21T05:04:32Z2026-01-21T05:04:32Zby Leue, Stefan. editor.<br/>ISBN 9783540797074<br/><a href="http://dx.doi.org/10.1007/978-3-540-79707-4">http://dx.doi.org/10.1007/978-3-540-79707-4</a><br/>Format: Electronic Resources<br/>Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027762026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kounev, Samuel. editor.<br/>ISBN 9783540698142<br/><a href="http://dx.doi.org/10.1007/978-3-540-69814-2">http://dx.doi.org/10.1007/978-3-540-69814-2</a><br/>Format: Electronic Resources<br/>Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858232026-01-21T05:04:32Z2026-01-21T05:04:32Zby Abdulla, Parosh Aziz. editor.<br/>ISBN 9783319461403<br/><a href="https://doi.org/10.1007/978-3-319-46140-3">https://doi.org/10.1007/978-3-319-46140-3</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5124252026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fiadeiro, José Luiz. editor.<br/>ISBN 9783540719984<br/><a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format: Electronic Resources<br/>Deductive Software Verification – The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:20855652026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ahrendt, Wolfgang. editor.<br/>ISBN 9783319498126<br/><a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123012026-01-21T05:04:32Z2026-01-21T05:04:32Zby Krishnamurthi, Shriram. editor.<br/>ISBN 9783540712299<br/><a href="http://dx.doi.org/10.1007/978-3-540-71229-9">http://dx.doi.org/10.1007/978-3-540-71229-9</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123362026-01-21T05:04:32Z2026-01-21T05:04:32Zby Puebla, Germán. editor.<br/>ISBN 9783540714101<br/><a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format: Electronic Resources<br/>Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5115672026-01-21T05:04:32Z2026-01-21T05:04:32Zby Yi, Kwangkeun. editor.<br/>ISBN 9783540377580<br/><a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</a><br/>Format: Electronic Resources<br/>Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103422026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hankin, Chris. editor.<br/>ISBN 9783540319719<br/><a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857802026-01-21T05:04:32Z2026-01-21T05:04:32Zby Thiemann, Peter. editor.<br/>ISBN 9783662494981<br/><a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034332026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ramakrishnan, C. R. editor.<br/>ISBN 9783540788003<br/><a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129072026-01-21T05:04:32Z2026-01-21T05:04:32Zby Raskin, Jean-François. editor.<br/>ISBN 9783540754541<br/><a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5111312026-01-21T05:04:32Z2026-01-21T05:04:32Zby Grieskamp, Wolfgang. editor.<br/>ISBN 9783540344551<br/><a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860292026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lachiche, Nicolas. editor.<br/>ISBN 9783319780900<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853402026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/>ISBN 9783319992297<br/><a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853572026-01-21T05:04:32Z2026-01-21T05:04:32Zby Rusu, Vlad. editor.<br/>ISBN 9783319998404<br/><a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5036222026-01-21T05:04:32Z2026-01-21T05:04:32Zby Chitil, Olaf. editor.<br/>ISBN 9783540853732<br/><a href="http://dx.doi.org/10.1007/978-3-540-85373-2">http://dx.doi.org/10.1007/978-3-540-85373-2</a><br/>Format: Electronic Resources<br/>Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lecturesent://SD_ILS/0/SD_ILS:5110912026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bernardo, Marco. editor.<br/>ISBN 9783540343059<br/><a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112672026-01-21T05:04:32Z2026-01-21T05:04:32Zby Horváth, András. editor.<br/>ISBN 9783540353652<br/><a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5103302026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fiadeiro, José Luiz. editor.<br/>ISBN 9783540319597<br/><a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5122532026-01-21T05:04:32Z2026-01-21T05:04:32Zby Brim, Luboš. editor.<br/>ISBN 9783540709527<br/><a href="http://dx.doi.org/10.1007/978-3-540-70952-7">http://dx.doi.org/10.1007/978-3-540-70952-7</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117052026-01-21T05:04:32Z2026-01-21T05:04:32Zby Asarin, Eugene. editor.<br/>ISBN 9783540450313<br/><a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854212026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175<br/>ISBN 9783030021467<br/><a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20858452026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lindley, Sam. editor.<br/>ISBN 9783319309361<br/><a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034312026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hendren, Laurie. editor.<br/>ISBN 9783540787914<br/><a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127832026-01-21T05:04:32Z2026-01-21T05:04:32Zby Caires, Luís. editor.<br/>ISBN 9783540744078<br/><a href="http://dx.doi.org/10.1007/978-3-540-74407-8">http://dx.doi.org/10.1007/978-3-540-74407-8</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128092026-01-21T05:04:32Z2026-01-21T05:04:32Zby Schneider, Klaus. editor.<br/>ISBN 9783540745914<br/><a href="http://dx.doi.org/10.1007/978-3-540-74591-4">http://dx.doi.org/10.1007/978-3-540-74591-4</a><br/>Format: Electronic Resources<br/>Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102472026-01-21T05:04:32Z2026-01-21T05:04:32Zby Nieuwenhuis, Robert. editor.<br/>ISBN 9783540318644<br/><a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</a><br/>Format: Electronic Resources<br/>Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5102282026-01-21T05:04:32Z2026-01-21T05:04:32Zby Roy, Peter. editor.<br/>ISBN 9783540318453<br/><a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lecturesent://SD_ILS/0/SD_ILS:5103862026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bernardo, Marco. editor.<br/>ISBN 9783540320210<br/><a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5129042026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bozapalidis, Symeon. editor.<br/>ISBN 9783540754145<br/><a href="http://dx.doi.org/10.1007/978-3-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5122972026-01-21T05:04:32Z2026-01-21T05:04:32Zby Grumberg, Orna. editor.<br/>ISBN 9783540712091<br/><a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125272026-01-21T05:04:32Z2026-01-21T05:04:32Zby Artemov, Sergei N. editor.<br/>ISBN 9783540727347<br/><a href="http://dx.doi.org/10.1007/978-3-540-72734-7">http://dx.doi.org/10.1007/978-3-540-72734-7</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20842242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038<br/>ISBN 9783319761688<br/><a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hermanns, Holger. editor.<br/>ISBN 9783540330578<br/><a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857102026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gavanelli, Marco. editor.<br/>ISBN 9783319282282<br/><a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20845882026-01-21T05:04:32Z2026-01-21T05:04:32Zby Artho, Cyrille. editor.<br/>ISBN 9783319295107<br/><a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:5124872026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bernardo, Marco. editor.<br/>ISBN 9783540725220<br/><a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>25 Years of Model Checking History, Achievements, Perspectivesent://SD_ILS/0/SD_ILS:5027812026-01-21T05:04:32Z2026-01-21T05:04:32Zby Grumberg, Orna. editor.<br/>ISBN 9783540698500<br/><a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028562026-01-21T05:04:32Z2026-01-21T05:04:32Zby Mohamed, Otmane Ait. editor.<br/>ISBN 9783540710677<br/><a href="http://dx.doi.org/10.1007/978-3-540-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format: Electronic Resources<br/>Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027172026-01-21T05:04:32Z2026-01-21T05:04:32Zby Alpuente, María. editor.<br/>ISBN 9783540691662<br/><a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5123192026-01-21T05:04:32Z2026-01-21T05:04:32Zby Reps, Thomas. editor.<br/>ISBN 9783540713227<br/><a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103502026-01-21T05:04:32Z2026-01-21T05:04:32Zby Halbwachs, Nicolas. editor.<br/>ISBN 9783540319801<br/><a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855192026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fischer, Bernd. editor. (orcid)0000-0002-1815-218X<br/>ISBN 9783030025083<br/><a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format: Electronic Resources<br/>Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5126062026-01-21T05:04:32Z2026-01-21T05:04:32Zby Comon-Lundh, Hubert. editor.<br/>ISBN 9783540731474<br/><a href="http://dx.doi.org/10.1007/978-3-540-73147-4">http://dx.doi.org/10.1007/978-3-540-73147-4</a><br/>Format: Electronic Resources<br/>Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedingsent://SD_ILS/0/SD_ILS:5127002026-01-21T05:04:32Z2026-01-21T05:04:32Zby Pfenning, Frank. editor.<br/>ISBN 9783540735953<br/><a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856032026-01-21T05:04:32Z2026-01-21T05:04:32Zby Tian, Cong. editor.<br/>ISBN 9783319901046<br/><a href="https://doi.org/10.1007/978-3-319-90104-6">https://doi.org/10.1007/978-3-319-90104-6</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858192026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gurfinkel, Arie. editor.<br/>ISBN 9783319296135<br/><a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858552026-01-21T05:04:32Z2026-01-21T05:04:32Zby Blazy, Sandrine. editor.<br/>ISBN 9783319488691<br/><a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5127582026-01-21T05:04:32Z2026-01-21T05:04:32Zby Edelkamp, Stefan. editor.<br/>ISBN 9783540741282<br/><a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102042026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hurd, Joe. editor.<br/>ISBN 9783540318200<br/><a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format: Electronic Resources<br/>Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papersent://SD_ILS/0/SD_ILS:5103952026-01-21T05:04:32Z2026-01-21T05:04:32Zby Leue, Stefan. editor.<br/>ISBN 9783540320326<br/><a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105572026-01-21T05:04:32Z2026-01-21T05:04:32Zby Dearle, Alan. editor.<br/>ISBN 9783540322818<br/><a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851412026-01-21T05:04:32Z2026-01-21T05:04:32Zby Češka, Milan. editor.<br/>ISBN 9783319994291<br/><a href="https://doi.org/10.1007/978-3-319-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format: Electronic Resources<br/>Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034492026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hierons, Robert M. editor.<br/>ISBN 9783540789178<br/><a href="http://dx.doi.org/10.1007/978-3-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format: Electronic Resources<br/>Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127302026-01-21T05:04:32Z2026-01-21T05:04:32Zby Mossakowski, Till. editor.<br/>ISBN 9783540738596<br/><a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</a><br/>Format: Electronic Resources<br/>Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102592026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fiadeiro, José Luiz. editor.<br/>ISBN 9783540318767<br/><a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20857192026-01-21T05:04:32Z2026-01-21T05:04:32Zby Serrano, Manuel. editor.<br/>ISBN 9783319391106<br/><a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5121242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Baldoni, Matteo. editor.<br/>ISBN 9783540689614<br/><a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format: Electronic Resources<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116642026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lightfoot, David E. editor.<br/>ISBN 9783540409281<br/><a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127522026-01-21T05:04:32Z2026-01-21T05:04:32Zby Nielson, Hanne Riis. editor.<br/>ISBN 9783540740612<br/><a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129352026-01-21T05:04:32Z2026-01-21T05:04:32Zby Arbab, Farhad. editor.<br/>ISBN 9783540756989<br/><a href="http://dx.doi.org/10.1007/978-3-540-75698-9">http://dx.doi.org/10.1007/978-3-540-75698-9</a><br/>Format: Electronic Resources<br/>Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108232026-01-21T05:04:32Z2026-01-21T05:04:32Zby Mycroft, Alan. editor.<br/>ISBN 9783540330516<br/><a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114952026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ball, Thomas. editor.<br/>ISBN 9783540374114<br/><a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Electronic Resources<br/>Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103552026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bodik, Rastislav. editor.<br/>ISBN 9783540319856<br/><a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lecturesent://SD_ILS/0/SD_ILS:5129732026-01-21T05:04:32Z2026-01-21T05:04:32Zby Backhouse, Roland. editor.<br/>ISBN 9783540767862<br/><a href="http://dx.doi.org/10.1007/978-3-540-76786-2">http://dx.doi.org/10.1007/978-3-540-76786-2</a><br/>Format: Electronic Resources<br/>Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5032672026-01-21T05:04:32Z2026-01-21T05:04:32Zby Baldoni, Matteo. editor.<br/>ISBN 9783540775645<br/><a href="http://dx.doi.org/10.1007/978-3-540-77564-5">http://dx.doi.org/10.1007/978-3-540-77564-5</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5113002026-01-21T05:04:32Z2026-01-21T05:04:32Zby Uustalu, Tarmo. editor.<br/>ISBN 9783540356325<br/><a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papersent://SD_ILS/0/SD_ILS:5105362026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bordini, Rafael H. editor.<br/>ISBN 9783540322603<br/><a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028572026-01-21T05:04:32Z2026-01-21T05:04:32Zby Armando, Alessandro. editor.<br/>ISBN 9783540710707<br/><a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>CONCUR 2006 – Concurrency Theory 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114932026-01-21T05:04:32Z2026-01-21T05:04:32Zby Baier, Christel. editor.<br/>ISBN 9783540373773<br/><a href="http://dx.doi.org/10.1007/11817949">http://dx.doi.org/10.1007/11817949</a><br/>Format: Electronic Resources<br/>CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103062026-01-21T05:04:32Z2026-01-21T05:04:32Zby Abadi, Martín. editor.<br/>ISBN 9783540319344<br/><a href="http://dx.doi.org/10.1007/11539452">http://dx.doi.org/10.1007/11539452</a><br/>Format: Electronic Resources<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:20841252026-01-21T05:04:32Z2026-01-21T05:04:32Zby Göbel, Susanne. author.<br/>ISBN 9783658117658<br/><a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5124122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bordini, Rafael H. editor.<br/>ISBN 9783540719564<br/><a href="http://dx.doi.org/10.1007/978-3-540-71956-4">http://dx.doi.org/10.1007/978-3-540-71956-4</a><br/>Format: Electronic Resources<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130452026-01-21T05:04:32Z2026-01-21T05:04:32Zby Overhage, Sven. editor.<br/>ISBN 9783540776192<br/><a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116162026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bravetti, Mario. editor.<br/>ISBN 9783540388654<br/><a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851282026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/>ISBN 9783319944609<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856682026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kiselyov, Oleg. editor.<br/>ISBN 9783319296043<br/><a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papersent://SD_ILS/0/SD_ILS:5034742026-01-21T05:04:32Z2026-01-21T05:04:32Zby Dastani, Mehdi. editor.<br/>ISBN 9783540790433<br/><a href="http://dx.doi.org/10.1007/978-3-540-79043-3">http://dx.doi.org/10.1007/978-3-540-79043-3</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028042026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gupta, Aarti. editor.<br/>ISBN 9783540705451<br/><a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Electronic Resources<br/>Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037022026-01-21T05:04:32Z2026-01-21T05:04:32Zby Börger, Egon. editor.<br/>ISBN 9783540876038<br/><a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format: Electronic Resources<br/>Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853192026-01-21T05:04:32Z2026-01-21T05:04:32Zby Potapov, Igor. editor.<br/>ISBN 9783030002503<br/><a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857572026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lucanu, Dorel. editor.<br/>ISBN 9783319448022<br/><a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859572026-01-21T05:04:32Z2026-01-21T05:04:32Zby Inoue, Katsumi. editor.<br/>ISBN 9783319405667<br/><a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855622026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bloem, Roderick. editor.<br/>ISBN 9783319490526<br/><a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861082026-01-21T05:04:32Z2026-01-21T05:04:32Zby Michael, Loizos. editor.<br/>ISBN 9783319487588<br/><a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papersent://SD_ILS/0/SD_ILS:5113242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Reussner, Ralf H. editor.<br/>ISBN 9783540358336<br/><a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: Electronic Resources<br/>Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114612026-01-21T05:04:32Z2026-01-21T05:04:32Zby Furbach, Ulrich. editor.<br/>ISBN 9783540371885<br/><a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101372026-01-21T05:04:32Z2026-01-21T05:04:32Zby Etessami, Kousha. editor.<br/>ISBN 9783540316862<br/><a href="http://dx.doi.org/10.1007/b138445">http://dx.doi.org/10.1007/b138445</a><br/>Format: Electronic Resources<br/>Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130362026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sokolsky, Oleg. editor.<br/>ISBN 9783540773955<br/><a href="http://dx.doi.org/10.1007/978-3-540-77395-5">http://dx.doi.org/10.1007/978-3-540-77395-5</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123172026-01-21T05:04:32Z2026-01-21T05:04:32Zby Nicola, Rocco. editor.<br/>ISBN 9783540713166<br/><a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028212026-01-21T05:04:32Z2026-01-21T05:04:32Zby Audebaud, Philippe. editor.<br/>ISBN 9783540705949<br/><a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5123322026-01-21T05:04:32Z2026-01-21T05:04:32Zby Seidl, Helmut. editor.<br/>ISBN 9783540713890<br/><a href="http://dx.doi.org/10.1007/978-3-540-71389-0">http://dx.doi.org/10.1007/978-3-540-71389-0</a><br/>Format: Electronic Resources<br/>Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5127202026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gurevich, Yuri. editor.<br/>ISBN 9783540737704<br/><a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104192026-01-21T05:04:32Z2026-01-21T05:04:32Zby Reussner, Ralf. editor.<br/>ISBN 9783540320562<br/><a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126492026-01-21T05:04:32Z2026-01-21T05:04:32Zby Damm, Werner. editor.<br/>ISBN 9783540733683<br/><a href="http://dx.doi.org/10.1007/978-3-540-73368-3">http://dx.doi.org/10.1007/978-3-540-73368-3</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5099662026-01-21T05:04:32Z2026-01-21T05:04:32Zby Nicola, Rocco. editor.<br/>ISBN 9783540314837<br/><a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202026-01-21T05:04:32Z2026-01-21T05:04:32Zby Breugel, Franck. editor.<br/>ISBN 9783540853619<br/><a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5119902026-01-21T05:04:32Z2026-01-21T05:04:32Zby Havelund, Klaus. editor.<br/>ISBN 9783540497035<br/><a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Electronic Resources<br/>Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102312026-01-21T05:04:32Z2026-01-21T05:04:32Zby Grabowski, Jens. editor.<br/>ISBN 9783540318484<br/><a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858132026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ogata, Kazuhiro. editor.<br/>ISBN 9783319478463<br/><a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lluch Lafuente, Alberto. editor.<br/>ISBN 9783319395197<br/><a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format: Electronic Resources<br/>Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034852026-01-21T05:04:32Z2026-01-21T05:04:32Zby Beckert, Bernhard. editor.<br/>ISBN 9783540791249<br/><a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Electronic Resources<br/>Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102862026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bravetti, Mario. editor.<br/>ISBN 9783540319030<br/><a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851032026-01-21T05:04:32Z2026-01-21T05:04:32Zby Medina-Bulo, Inmaculada. editor.<br/>ISBN 9783319999272<br/><a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860732026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gheorghe, Marian. editor.<br/>ISBN 9783319733593<br/><a href="https://doi.org/10.1007/978-3-319-73359-3">https://doi.org/10.1007/978-3-319-73359-3</a><br/>Format: Electronic Resources<br/>Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20856412026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917<br/>ISBN 9783319791081<br/><a href="https://doi.org/10.1007/978-3-319-79108-1">https://doi.org/10.1007/978-3-319-79108-1</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860802026-01-21T05:04:32Z2026-01-21T05:04:32Zby Olivetti, Nicola. editor.<br/>ISBN 9783319402291<br/><a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112282026-01-21T05:04:32Z2026-01-21T05:04:32Zby Gorrieri, Roberto. editor.<br/>ISBN 9783540348955<br/><a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852502026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ebert, Achim. editor.<br/>ISBN 9783319459165<br/><a href="https://doi.org/10.1007/978-3-319-45916-5">https://doi.org/10.1007/978-3-319-45916-5</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033822026-01-21T05:04:32Z2026-01-21T05:04:32Zby Amadio, Roberto. editor.<br/>ISBN 9783540784999<br/><a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129242026-01-21T05:04:32Z2026-01-21T05:04:32Zby Dershowitz, Nachum. editor.<br/>ISBN 9783540755609<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5107652026-01-21T05:04:32Z2026-01-21T05:04:32Zby Thompson, Simon G. editor.<br/>ISBN 9783540328353<br/><a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5105512026-01-21T05:04:32Z2026-01-21T05:04:32Zby Baader, Franz. editor.<br/>ISBN 9783540322757<br/><a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859502026-01-21T05:04:32Z2026-01-21T05:04:32Zby De Nicola, Rocco. editor.<br/>ISBN 9783319415918<br/><a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papersent://SD_ILS/0/SD_ILS:5107172026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bordini, Rafael H. editor.<br/>ISBN 9783540326175<br/><a href="http://dx.doi.org/10.1007/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108212026-01-21T05:04:32Z2026-01-21T05:04:32Zby Aceto, Luca. editor.<br/>ISBN 9783540330462<br/><a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118792026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hermann, Miki. editor.<br/>ISBN 9783540482826<br/><a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859302026-01-21T05:04:32Z2026-01-21T05:04:32Zby ter Beek, Maurice H. editor.<br/>ISBN 9783319459431<br/><a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851392026-01-21T05:04:32Z2026-01-21T05:04:32Zby Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703<br/>ISBN 9783319999609<br/><a href="https://doi.org/10.1007/978-3-319-99960-9">https://doi.org/10.1007/978-3-319-99960-9</a><br/>Format: Electronic Resources<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861252026-01-21T05:04:32Z2026-01-21T05:04:32Zby Larsen, Kim Guldstrand. editor.<br/>ISBN 9783319459943<br/><a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125682026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bonsangue, Marcello M. editor.<br/>ISBN 9783540729525<br/><a href="http://dx.doi.org/10.1007/978-3-540-72952-5">http://dx.doi.org/10.1007/978-3-540-72952-5</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128102026-01-21T05:04:32Z2026-01-21T05:04:32Zby Durand-Lose, Jérôme. editor.<br/>ISBN 9783540745938<br/><a href="http://dx.doi.org/10.1007/978-3-540-74593-8">http://dx.doi.org/10.1007/978-3-540-74593-8</a><br/>Format: Electronic Resources<br/>Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdaysent://SD_ILS/0/SD_ILS:5128862026-01-21T05:04:32Z2026-01-21T05:04:32Zby Jones, Cliff B. editor.<br/>ISBN 9783540752219<br/><a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100342026-01-21T05:04:32Z2026-01-21T05:04:32Zby Steffen, Martin. editor.<br/>ISBN 9783540315568<br/><a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5100602026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kutvonen, Lea. editor.<br/>ISBN 9783540315827<br/><a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102172026-01-21T05:04:32Z2026-01-21T05:04:32Zby Margenstern, Maurice. editor.<br/>ISBN 9783540318347<br/><a href="http://dx.doi.org/10.1007/b106980">http://dx.doi.org/10.1007/b106980</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857692026-01-21T05:04:32Z2026-01-21T05:04:32Zby Jacobs, Bart. editor.<br/>ISBN 9783662496305<br/><a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854362026-01-21T05:04:32Z2026-01-21T05:04:32Zby Artho, Cyrille. editor.<br/>ISBN 9783319465203<br/><a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papersent://SD_ILS/0/SD_ILS:5108422026-01-21T05:04:32Z2026-01-21T05:04:32Zby Baldoni, Matteo. editor.<br/>ISBN 9783540331070<br/><a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papersent://SD_ILS/0/SD_ILS:5119132026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hofmeister, Christine. editor.<br/>ISBN 9783540488200<br/><a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101062026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sutcliffe, Geoff. editor.<br/>ISBN 9783540316503<br/><a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5102992026-01-21T05:04:32Z2026-01-21T05:04:32Zby Leite, João. editor.<br/>ISBN 9783540319276<br/><a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860002026-01-21T05:04:32Z2026-01-21T05:04:32Zby Milazzo, Paolo. editor.<br/>ISBN 9783319502304<br/><a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857792026-01-21T05:04:32Z2026-01-21T05:04:32Zby Butler, Michael. editor.<br/>ISBN 9783319336008<br/><a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114662026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ibarra, Oscar H. editor.<br/>ISBN 9783540372141<br/><a href="http://dx.doi.org/10.1007/11812128">http://dx.doi.org/10.1007/11812128</a><br/>Format: Electronic Resources<br/>Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857302026-01-21T05:04:32Z2026-01-21T05:04:32Zby Cinquemani, Eugenio. editor.<br/>ISBN 9783319471518<br/><a href="https://doi.org/10.1007/978-3-319-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859072026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kohlhase, Michael. editor.<br/>ISBN 9783319425474<br/><a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20840842026-01-21T05:04:32Z2026-01-21T05:04:32Zby Yakovyna, Vitaliy. editor.<br/>ISBN 9783319302461<br/><a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:20857992026-01-21T05:04:32Z2026-01-21T05:04:32Zby Liu, Zhiming. editor.<br/>ISBN 9783319296289<br/><a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5109402026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hagiya, Masami. editor.<br/>ISBN 9783540334392<br/><a href="http://dx.doi.org/10.1007/11737414">http://dx.doi.org/10.1007/11737414</a><br/>Format: Electronic Resources<br/>Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026862026-01-21T05:04:32Z2026-01-21T05:04:32Zby Barthe, Gilles. editor.<br/>ISBN 9783540688631<br/><a href="http://dx.doi.org/10.1007/978-3-540-68863-1">http://dx.doi.org/10.1007/978-3-540-68863-1</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027042026-01-21T05:04:32Z2026-01-21T05:04:32Zby Paech, Barbara. editor.<br/>ISBN 9783540690627<br/><a href="http://dx.doi.org/10.1007/978-3-540-69062-7">http://dx.doi.org/10.1007/978-3-540-69062-7</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5101332026-01-21T05:04:32Z2026-01-21T05:04:32Zby Felice, Clelia. editor.<br/>ISBN 9783540316824<br/><a href="http://dx.doi.org/10.1007/b137735">http://dx.doi.org/10.1007/b137735</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20857612026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fomin, Fedor V. editor.<br/>ISBN 9783319905303<br/><a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Electronic Resources<br/>Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855172026-01-21T05:04:32Z2026-01-21T05:04:32Zby Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683<br/>ISBN 9783030011413<br/><a href="https://doi.org/10.1007/978-3-030-01141-3">https://doi.org/10.1007/978-3-030-01141-3</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129002026-01-21T05:04:32Z2026-01-21T05:04:32Zby Montanari, Ugo. editor.<br/>ISBN 9783540753360<br/><a href="http://dx.doi.org/10.1007/978-3-540-75336-0">http://dx.doi.org/10.1007/978-3-540-75336-0</a><br/>Format: Electronic Resources<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:5127542026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bradley, Aaron R. author.<br/>ISBN 9783540741138<br/><a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038122026-01-21T05:04:32Z2026-01-21T05:04:32Zby Cervesato, Iliano. editor.<br/>ISBN 9783540894391<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5103522026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sassone, Vladimiro. editor.<br/>ISBN 9783540319825<br/><a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028422026-01-21T05:04:32Z2026-01-21T05:04:32Zby Ibarra, Oscar H. editor.<br/>ISBN 9783540708445<br/><a href="http://dx.doi.org/10.1007/978-3-540-70844-5">http://dx.doi.org/10.1007/978-3-540-70844-5</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125812026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sawyer, Pete. editor.<br/>ISBN 9783540730316<br/><a href="http://dx.doi.org/10.1007/978-3-540-73031-6">http://dx.doi.org/10.1007/978-3-540-73031-6</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5108372026-01-21T05:04:32Z2026-01-21T05:04:32Zby Farré, Jacques. editor.<br/>ISBN 9783540330974<br/><a href="http://dx.doi.org/10.1007/11605157">http://dx.doi.org/10.1007/11605157</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20861132026-01-21T05:04:32Z2026-01-21T05:04:32Zby Avigad, Jeremy. editor.<br/>ISBN 9783319948218<br/><a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850472026-01-21T05:04:32Z2026-01-21T05:04:32Zby Butler, Michael. editor.<br/>ISBN 9783319912714<br/><a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851792026-01-21T05:04:32Z2026-01-21T05:04:32Zby Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/>ISBN 9783030021498<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858172026-01-21T05:04:32Z2026-01-21T05:04:32Zby Jobstmann, Barbara. editor.<br/>ISBN 9783662491225<br/><a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856282026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sampaio, Augusto. editor.<br/>ISBN 9783319467504<br/><a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856252026-01-21T05:04:32Z2026-01-21T05:04:32Zby Chechik, Marsha. editor.<br/>ISBN 9783662496749<br/><a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034102026-01-21T05:04:32Z2026-01-21T05:04:32Zby Barthe, Gilles. editor.<br/>ISBN 9783540786634<br/><a href="http://dx.doi.org/10.1007/978-3-540-78663-4">http://dx.doi.org/10.1007/978-3-540-78663-4</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034562026-01-21T05:04:32Z2026-01-21T05:04:32Zby Garrigue, Jacques. editor.<br/>ISBN 9783540789697<br/><a href="http://dx.doi.org/10.1007/978-3-540-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5112492026-01-21T05:04:32Z2026-01-21T05:04:32Zby Boissier, Olivier. editor.<br/>ISBN 9783540351764<br/><a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedingsent://SD_ILS/0/SD_ILS:5097332026-01-21T05:04:32Z2026-01-21T05:04:32Zby Calude, Cristian S. editor.<br/>ISBN 9783540305507<br/><a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855782026-01-21T05:04:32Z2026-01-21T05:04:32Zby Dillig, Isil. editor.<br/>ISBN 9783319737218<br/><a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860022026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kapitsaki, Georgia M. editor.<br/>ISBN 9783319351223<br/><a href="https://doi.org/10.1007/978-3-319-35122-3">https://doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861602026-01-21T05:04:32Z2026-01-21T05:04:32Zby Amblard, Maxime. editor.<br/>ISBN 9783662538265<br/><a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125512026-01-21T05:04:32Z2026-01-21T05:04:32Zby Indulska, Jadwiga. editor.<br/>ISBN 9783540728832<br/><a href="http://dx.doi.org/10.1007/978-3-540-72883-2">http://dx.doi.org/10.1007/978-3-540-72883-2</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5109792026-01-21T05:04:32Z2026-01-21T05:04:32Zby Barthe, Gilles. editor.<br/>ISBN 9783540336914<br/><a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857272026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bertogna, Marko. editor.<br/>ISBN 9783319390833<br/><a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5028472026-01-21T05:04:32Z2026-01-21T05:04:32Zby Broy, Manfred. editor.<br/>ISBN 9783540709305<br/><a href="http://dx.doi.org/10.1007/978-3-540-70930-5">http://dx.doi.org/10.1007/978-3-540-70930-5</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:5034652026-01-21T05:04:32Z2026-01-21T05:04:32Zby Sichman, Jaime Simão. editor.<br/>ISBN 9783540790037<br/><a href="http://dx.doi.org/10.1007/978-3-540-79003-7">http://dx.doi.org/10.1007/978-3-540-79003-7</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852092026-01-21T05:04:32Z2026-01-21T05:04:32Zby Massoni, Tiago. editor. (orcid)0000-0002-9423-7556<br/>ISBN 9783030030445<br/><a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843852026-01-21T05:04:32Z2026-01-21T05:04:32Zby Lamprecht, Anna-Lena. editor.<br/>ISBN 9783319516417<br/><a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papersent://SD_ILS/0/SD_ILS:5101842026-01-21T05:04:32Z2026-01-21T05:04:32Zby Priami, Corrado. editor.<br/>ISBN 9783540317944<br/><a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852962026-01-21T05:04:32Z2026-01-21T05:04:32Zby Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012<br/>ISBN 9783319948126<br/><a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format: Electronic Resources<br/>FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859582026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fitzgerald, John. editor.<br/>ISBN 9783319489896<br/><a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5026652026-01-21T05:04:32Z2026-01-21T05:04:32Zby Meier, René. editor.<br/>ISBN 9783540686422<br/><a href="http://dx.doi.org/10.1007/978-3-540-68642-2">http://dx.doi.org/10.1007/978-3-540-68642-2</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5129542026-01-21T05:04:32Z2026-01-21T05:04:32Zby Holub, Jan. editor.<br/>ISBN 9783540763369<br/><a href="http://dx.doi.org/10.1007/978-3-540-76336-9">http://dx.doi.org/10.1007/978-3-540-76336-9</a><br/>Format: Electronic Resources<br/>Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112422026-01-21T05:04:32Z2026-01-21T05:04:32Zby Eliassen, Frank. editor.<br/>ISBN 9783540351276<br/><a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104332026-01-21T05:04:32Z2026-01-21T05:04:32Zby Hung, Dang. editor.<br/>ISBN 9783540320722<br/><a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format: Electronic Resources<br/>Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859772026-01-21T05:04:32Z2026-01-21T05:04:32Zby Devitt, Simon. editor.<br/>ISBN 9783319405780<br/><a href="https://doi.org/10.1007/978-3-319-40578-0">https://doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861292026-01-21T05:04:32Z2026-01-21T05:04:32Zby Foret, Annie. editor.<br/>ISBN 9783662530429<br/><a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5122882026-01-21T05:04:32Z2026-01-21T05:04:32Zby Kordon, Fabrice. editor.<br/>ISBN 9783540711568<br/><a href="http://dx.doi.org/10.1007/978-3-540-71156-8">http://dx.doi.org/10.1007/978-3-540-71156-8</a><br/>Format: Electronic Resources<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853492026-01-21T05:04:32Z2026-01-21T05:04:32Zby Podelski, Andreas. editor.<br/>ISBN 9783319997254<br/><a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858372026-01-21T05:04:32Z2026-01-21T05:04:32Zby Fiems, Dieter. editor.<br/>ISBN 9783319464336<br/><a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lecturesent://SD_ILS/0/SD_ILS:5026892026-01-21T05:04:32Z2026-01-21T05:04:32Zby Bernardo, Marco. editor.<br/>ISBN 9783540688945<br/><a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:5097482026-01-21T05:04:32Z2026-01-21T05:04:32Zby Barthe, Gilles. editor.<br/>ISBN 9783540305699<br/><a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850462026-01-21T05:04:32Z2026-01-21T05:04:32Zby Artemov, Sergei. editor.<br/>ISBN 9783319720562<br/><a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leinoent://SD_ILS/0/SD_ILS:5121342026-01-21T05:04:32Z2026-01-21T05:04:32Zby Beckert, Bernhard. editor.<br/>ISBN 9783540690610<br/><a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>