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