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.