Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday /

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Lee, Edward A. (Editor), Mousavi, Mohammad Reza (Editor), Talcott, Carolyn (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edition:	1st ed. 2025.
Series:	Lecture Notes in Computer Science, 15560
Subjects:	Software engineering. Software Engineering.
Online Access:	https://doi.org/10.1007/978-3-031-85134-6
Tags:	Add Tag No Tags, Be the first to tag this record!