Mino Bai
According to our database1,
Mino Bai
authored at least 3 papers
between 1992 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
Formal Specification of Business Rules using Z.
Proceedings of the 2nd International Conference Computing, 2004
1992
Proceedings of the Logic Programming and Automated Reasoning, 1992