Concepedia

Author

FAC Polack

University of York

Also Known As

FAC Polack

1

Publications

23

Citations

1

H-Index

7

Concepts

All Affiliations

University of York
FP

About

FAC Polack is an author at University of York specializing in formal verification, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

23

2

Systems Engineering

1

1

23

3

Formal Methods

1

1

23

4

Formal Specification

1

1

23

5

Formal Verification

1

1

23

FAC Polack

×

1

Publications

23

Citations

1

H-Index

YearCitations

Rigorous specification using structured systems analysis and Z

K. C. Mander, FAC Polack

Information and Software Technology

1995

23

Page 1