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