books_chapters
Detail
Publication date: 28 de March, 2022Chapter – The Art of Modelling Computational SystemsThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
| Publisher | Springer |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 11760 |
| Pub. Date | 04/11/2019 |