Jim Woodcock

Publications with FICTION

Journal Articles

  1. (2025). A Brief History of Formal Methods in China. Form. Asp. Comput.. Cite