Editorial - Research Database, The University of York

By the same authors

Learning Safe Neural Network Controllers with Barrier Certificates
Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).
Research output: Working paper
Automated Verification of Reactive and Concurrent Programs by Calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020
Article in ArXiv e-prints
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020
Article in Science of Computer Programming
Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis
Chang, W., Wei, R., Zhao, S., Wellings, A. J., Woodcock, J. & Burns, A., 31 Mar 2020, (Accepted/In press)
Article in ACM Transactions in Embedded Computing Systems
Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020
Article in Theoretical Computer Science

From the same journal

Specification and Refinement of Type Interfaces in Scientific Software
Galloway, A. J., Harris, P., Woodcock, J. & Paige, R. F., 2012, (In preparation)
Article in Formal Asp. Comput.
Editorial
Liu, Z. & Woodcock, J., 2011
Editorial in Formal Asp. Comput.
Special Issue: Concurrency and Real-Time for Eiffel-like Languages
Paige, R. F. & Brooke, P. J., Aug 2009
Editorial in Formal Asp. Comput.
Editorial
Paige, R. F., Brooke, P. J., Dong, J. S. & Woodcock, J. C. P., 2009
Article in Formal Asp. Comput.

Editorial

Research output: Contribution to journal › Article

Links

http://dx.doi.org/10.1007/s00165-011-0201-8

Published copy (DOI)

10.1007/s00165-011-0201-8

Author(s)

Daniel Kroening
Tiziana Margaria
Jim Woodcock

Department/unit(s)

Computer Science

Publication details

Journal	Formal Asp. Comput.
Date	Published - 2011
Issue number	5
Volume	23
Number of pages	4
Pages (from-to)	585-588
Original language	Undefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data