Paphos, Cyprus
object-based distributed S
Formal methods F
6.1 international C
the 9th I
A formal L
Cristian Prisacariu G
A web-based tool for analysing normative documents in english