Harbhajan Singh
According to our database1,
Harbhajan Singh
authored at least 4 papers
between 1997 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Automatically Generating Information from a Z Specification to Support the Classification Tree Method.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
2001
1998
Proceedings of the Applied Formal Methods, 1998
1997
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997