Journal of Logical and Algebraic Methods in Programming - Research Database, The University of York

Journal of Logical and Algebraic Methods in Programming

ISSNs: 2352-2208

Additional searchable ISSN (Electronic): 2352-2216

Elsevier BV

Scopus rating (2021): CiteScore 2.2

Journal

Publications

1 - 1 out of 1Page size: 25

RSS feed of this list

Sort by: Publication date

2021
Automated verification of reactive and concurrent programs by calculation
Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 14 Apr 2021
Article in Journal of Logical and Algebraic Methods in Programming

Discover related content

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

View graph of relations

York staff: edit these data