transaction processing systems / safety critical systems / system software interfaces / point processors / nuclear power systems / security systems / diverse tools / /
Organization
International Organization for Standardization / International Electrotechnical Commission / ISO / /
Person
Ian Toyn ian / /
Position
Project editor / King / /
ProgrammingLanguage
Z Notation / /
Technology
Information Technology / floating point processors / /