Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Jim Woodcock

Contracts in CML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Editorial

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2012English

Editorial

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2015English

Editorial

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2011English

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

2015English

A Tutorial Introduction to Designs in Unifying Theories of Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Angelic Nondeterminism in the Unifying Theories of Programming

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2006English

A Comparison of State-Based Modelling Tools for Model Validation

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2008English

Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy