Using formal methods to develop a complex information system
2001 ◽
Keyword(s):
Keyword(s):