Editorial (English)
Free access
- New search for: Gnesi, Stefania
- New search for: Cavalcanti, Ana
- New search for: Fitzgerald, John
- New search for: Heitmeyer, Constance
- New search for: Gnesi, Stefania
- New search for: Cavalcanti, Ana
- New search for: Fitzgerald, John
- New search for: Heitmeyer, Constance
In:
Formal Aspects of Computing
;
31
, 2
;
131-132
;
2019
- Article (Journal) / Electronic Resource
-
Title:Editorial
-
Contributors:Gnesi, Stefania ( author ) / Cavalcanti, Ana ( author ) / Fitzgerald, John ( author ) / Heitmeyer, Constance ( author )
-
Published in:Formal Aspects of Computing ; 31, 2 ; 131-132
-
Publisher:
- New search for: Springer London
-
Place of publication:London
-
Publication date:2019-04-01
-
Size:2 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 31, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 131
-
EditorialGnesi, Stefania / Cavalcanti, Ana / Fitzgerald, John / Heitmeyer, Constance et al. | 2019
- 133
-
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrencyHayes, Ian J. / Meinicke, Larissa A. / Winter, Kirsten / Colvin, Robert J. et al. | 2018
- 165
-
Hybrid statistical estimation of mutual information and its application to information flowBiondi, Fabrizio / Kawamoto, Yusuke / Legay, Axel / Traonouez, Louis-Marie et al. | 2018
- 207
-
Automated mutual induction proof in separation logicTa, Quang-Trung / Le, Ton Chanh / Khoo, Siau-Cheng / Chin, Wei-Ngan et al. | 2018
- 231
-
Finding suitable variability abstractions for lifted analysisDimovski, Aleksandar S. / Brabrand, Claus / Wąsowski, Andrzej et al. | 2019
- 261
-
Battery-aware scheduling in low orbit: the GomX–3 caseBisgaard, Morten / Gerhardt, David / Hermanns, Holger / Krčál, Jan / Nies, Gilles / Stenger, Marvin et al. | 2018