Survey on System Behavior Specification for Extending ProjectIT-RSL.

David de Almeida Ferreira, Alberto Manuel Rodrigues da Silva

Browse the full QUATIC paper archive.