Liste of papers
TBC
List of books
Books on Formal Method: I published many books on formal method
Books on Process: I published some books on requirement management, software development process and standard compliance.
TBC
Books on Formal Method: I published many books on formal method
Books on Process: I published some books on requirement management, software development process and standard compliance.