Publications
Items where Author is "Mukherjee, P*"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Report/Guide | Book Chapter/Section
Number of items: 2.
Report/Guide
Mukherjee, P*; Wichmann, B (1993) STV: a case study of the use of VDM. NPL Report. DITC 219/93
Book Chapter/Section
Mukherjee, P*; Wichmann, B (1995) Formal specification of the STV Algorithm. In: Applications of Formal Methods. UNSPECIFIED. ISBN 0-013-3669494-1