Normal view
MARC view
Formal Methods (Topical Term)
Machine generated authority record
Work cat.: (NEDUET)710405: Khan, Sadiq Ali 3864, Analysis of Formal Methods for Specification of E-Commerce Applications