Abstract is missing.
- Algebraic Approaches to Problem GeneralisationRoland Carl Backhouse. 1-2 [doi]
- A Science of Software DesignDon S. Batory. 3-18 [doi]
- Glass Box and Black Box Views of State-Based System Specifications.Michel Bidoit, Rolf Hennicker. 19 [doi]
- Abstraction for Safety, Induction for LivenessMuffy Calder. 20 [doi]
- Counting Votes with Formal MethodsBart Jacobs. 21-22 [doi]
- Agent-Oriented Programming: Where Do We Stand?John-Jules Ch. Meyer. 23-26 [doi]
- On Guard: Producing Run-Time Checks from Integrity ConstraintsMichael Benedikt, Glenn Bruns. 27-41 [doi]
- Behavioural Types and Component AdaptationAntonio Brogi, Carlos Canal, Ernesto Pimentel. 42-56 [doi]
- Towards Correspondence Carrying SpecificationsMarius C. Bujorianu, Eerke Boiten. 57-71 [doi]
- Formalizing and Proving Semantic Relations between Specifications by ReflectionManuel Clavel, Narciso Martí-Oliet, Miguel Palomino. 72-86 [doi]
- Model-Checking Systems with Unbounded Variables without AbstractionMagali Contensin, Laurence Pierre. 87-111 [doi]
- A Generic Software Safety Document GeneratorEwen Denney, Ram Prasad Venkatesan. 102-116 [doi]
- Linear Temporal Logic and Z RefinementJohn Derrick, Graeme Smith. 117-131 [doi]
- Formal JVM Code Analysis in JavaFANAzadeh Farzan, José Meseguer, Grigore Rosu. 132-147 [doi]
- Verifying a Sliding Window Protocol in µCRLWan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol. 148-163 [doi]
- State Space Reduction for Process Algebra SpecificationsHubert Garavel, Wendelin Serwe. 164-180 [doi]
- A Hybrid Logic of Knowledge Supporting Topological ReasoningBernhard Heinemann. 181-195 [doi]
- A Language for Configuring Multi-level SpecificationsGillian Hill, Steven Vickers. 196-210 [doi]
- Flexible Proof Reuse for Software VerificationChris Hunter, Peter Robinson, Paul A. Strooper. 211-225 [doi]
- Deductive Verification of Distributed Groupware SystemsAbdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. 226-240 [doi]
- Formal Verification of a Commercial Smart Card Applet with Multiple ToolsBart Jacobs, Claude Marché, Nicole Rauch. 241-257 [doi]
- Abstracting Call-Stacks for Interprocedural Verification of Imperative ProgramsBertrand Jeannet, Wendelin Serwe. 258-273 [doi]
- Refining Mobile UML State MachinesAlexander Knapp, Stephan Merz, Martin Wirsing. 274-288 [doi]
- Verifying Invariants of Component-Based Systems through RefinementOlga Kouchnarenko, Arnaud Lanoix. 289-303 [doi]
- Modelling Concurrent InteractionsJuliana Küster Filipe. 304-318 [doi]
- Proof Support for RAISE by a Reuse Approach Based on InstitutionsMorten P. Lindegaard, Anne Elisabeth Haxthausen. 319-333 [doi]
- Separate Compositional Analysis of Class-Based Object-Oriented LanguagesFrancesco Logozzo. 334-348 [doi]
- Abstract Domains for Property Checking Driven Analysis of Temporal PropertiesDamien Massé. 349-363 [doi]
- Modular Rewriting Semantics of Programming LanguagesJosé Meseguer, Christiano Braga. 364-378 [doi]
- Modal Kleene Algebra and Partial CorrectnessBernhard Möller, Georg Struth. 379-393 [doi]
- Modularity and the Rule of AdaptationCees Pierik, Frank S. de Boer. 394-408 [doi]
- Modal Abstractions in µCRLJaco van de Pol, Miguel Valero Espada. 409-425 [doi]
- Semantics of Plan Revision in Intelligent AgentsM. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer. 426-442 [doi]
- Generic Exception Handling and the Java MonadLutz Schröder, Till Mossakowski. 443-459 [doi]
- Expressing Iterative Properties Logically in a Symbolic SettingCarron Shankland, Jeremy Bryans, Lionel Morel. 460-474 [doi]
- Extending Separation Logic with Fixpoints and Postponed SubstitutionÉlodie-Jane Sims. 475-490 [doi]
- A Formally Verified Calculus for Full Java CardKurt Stenzel. 491-505 [doi]
- On Refinement of Generic State-Based Software ComponentsSun Meng, Luís Soares Barbosa. 506-520 [doi]
- Techniques for Executing and Reasoning about Specification DiagramsPrasanna Thati, Carolyn L. Talcott, Gul Agha. 521-536 [doi]
- Formalising Graphical Behaviour DescriptionsKenneth J. Turner. 537-552 [doi]
- Model-Checking Distributed Real-Time Systems with States, Events, and Multiple Fairness AssumptionsFarn Wang. 553-568 [doi]