@article{article, title  = {{Constraint-oriented style for object-oriented formal specification}},

 url = {{}},

 year = {{1998}},

 month = {{1}},

 author = {{Bolognesi T and Derrick J}},

 doi = {{10.1049/ip-sen:19986907}},

 volume = {{145}},

 journal = {{IEE Proceedings: Software}},

 issue = {{2-3}},

 pages = {{61-69}},

 note = {{Accessed on 2024/12/22}}}