43rd FORTE 2023: Lisbon, Portugal

Refine list

showing all ?? records

Concurrent Programming

Security

Probabilities, Time and other Resources

Model-Based Testing and Petri Nets