< back to main site

Publications

Formal specification of the STV Algorithm.

Mukherjee, P*; Wichmann, B (1995) Formal specification of the STV Algorithm. In: Applications of Formal Methods. UNSPECIFIED. ISBN 0-013-3669494-1

Full text not available from this repository.

Abstract

No abstract available

Item Type: Book Chapter/Section
Subjects: Mathematics and Scientific Computing
Mathematics and Scientific Computing > Software Engineering
Last Modified: 02 Feb 2018 13:19
URI: http://eprintspublications.npl.co.uk/id/eprint/670

Actions (login required)

View Item View Item