- Cliff Jones, José Oliveira. Editorial. Formal Asp. Comput., 31(6):661, 2019.
- Nachum Dershowitz, Richard Waldinger. Zohar Manna (1939-2018). Formal Asp. Comput., 31(6):643-660, 2019.
- J. Strother Moore. Milestones from the Pure Lisp theorem prover to ACL2. Formal Asp. Comput., 31(6):699-732, 2019.
- Richard Banach. John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014. Formal Asp. Comput., 31(4):453-454, 2019.
- Stefania Gnesi, Ana Cavalcanti, John S. Fitzgerald, Constance L. Heitmeyer. Editorial. Formal Asp. Comput., 31(2):131-132, 2019.
- Si Liu 0003, Peter Csaba Ölveczky, Qi Wang, Indranil Gupta, José Meseguer. Read atomic transactions with prevention of lost updates: ROLA and its formal analysis. Formal Asp. Comput., 31(5):503-540, 2019.
- Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden. Consistency-preserving refactoring of refinement structures in Event-B models. Formal Asp. Comput., 31(3):287-320, 2019.
- Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan. Editorial. Formal Asp. Comput., 31(1):1, 2019.
- Fabrizio Biondi, Yusuke Kawamoto 0001, Axel Legay, Louis-Marie Traonouez. Hybrid statistical estimation of mutual information and its application to information flow. Formal Asp. Comput., 31(2):165-206, 2019.
- Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo, Wei-Ngan Chin. Automated mutual induction proof in separation logic. Formal Asp. Comput., 31(2):207-230, 2019.