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