Marian Baba

According to our database, Marian Baba authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Kant: A Domain-Specific Language for Modeling Security Protocols.

Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024