Mr Brijesh Dongol

	Biography

Formal methods in concurrent program design using the techniques of Feijen and van Gasteren which is based on the theory of Owicki and Gries.

completing the first year of my PhD

	Keywords
	Science and Technology: Software Engineering, Science and Technology: Computer Theory