Concepedia

FAC Polack

FP

1

Publications

23

Citations

1

H-Index

1995

Active since

Affiliations

University of York(Current)

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

Top concepts

Publications per year

1995–1995

1

Publications

1

Rigorous specification using structured systems analysis and Z

K. C. Mander, FAC Polack · Information and Software Technology · 1995 · 23 citations

, , +7

Rows per page

1–1 of 1