Editorial

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Authors: Jim Woodcock | Cliff Jones

Abstractions of non-interference security: probabilistic versus possibilistic

JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing

Authors: T. S. Hoang | A. K. McIver | L. Meinicke | C. C. Morgan | A. Sloane | E. Susatyo

Testing restorable systems: formal definition and heuristic solution based on river formation dynamics

JOURNAL ARTICLE published September 2013 in Formal Aspects of Computing

Authors: Pablo Rabanal | Ismael Rodríguez | Fernando Rubio

Reasoning about goal-directed real-time teleo-reactive programs

JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing

Authors: Brijesh Dongol | Ian J. Hayes | Peter J. Robinson

John McCarthy (1927–2011)

JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing

Authors: Cliff B. Jones

Winskel is (almost) Right: Towards a Mechanized Semantics Textbook

JOURNAL ARTICLE published November 1998 in Formal Aspects of Computing

Authors: Tobias Nipkow

Preface

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: P. Höfner

Formal probabilistic analysis of detection properties in wireless sensor networks

JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing

Authors: Maissa Elleuch | Osman Hasan | Sofiène Tahar | Mohamed Abid

External and internal choice with event groups in Event-B

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Michael Butler

Editorial

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: Eerke Boiten | John Derrick | Jin Song Dong | Steve Reeves

Editorial

JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing

Authors: John Cooke

Model checking RAISE applicative specifications

JOURNAL ARTICLE published May 2013 in Formal Aspects of Computing

Authors: Juan I. Perna | Chris George

Temporal-logic property preservation under Z refinement

JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing

Authors: John Derrick | Graeme Smith

Editorial

JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing

Authors: Dimitra Giannakopoulou | Gwen Salaün | Michael Butler

The Humble Humorous Researcher: A Tribute to Michel Sintzoff

JOURNAL ARTICLE published May 2011 in Formal Aspects of Computing

Authors: Axel van Lamsweerde

Infinite Concurrent Systems — I. The Relationship between Metric and Order Convergence

JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing

Authors: Mike Stannett

Constraint logic programming with a relational machine

JOURNAL ARTICLE published January 2017 in Formal Aspects of Computing

Research funded by Comunidad de Madrid (S2013/ICE-2731) | MINECO (TIN2012-39391-C04-03 (StrongSoft)) | ANR (Feever)

Authors: Emilio Jesús Gallego Arias | James Lipton | Julio Mariño

Kaisa Sere: In Memoriam

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Luigia Petre | Elena Troubitsyna | Marina Waldén

Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches

JOURNAL ARTICLE published November 2019 in Formal Aspects of Computing

Authors: Greg Michaelson

Transforming Boolean equalities into constraints

JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing

Authors: Sergio Antoy | Michael Hanus