Formalization of UML use case diagram-a Z notation based approach

by Sabnam Sengupta, Swapan Bhattacharya

1	Sabnam Sengupta author
2	Swapan Bhattacharya author

Formalization of UML use case diagram-a Z notation based approach release_swi5t3bm5nghxnvhlichsoxj2q