James Baxter
From MaRDI portal
Person:2120812
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Testing using CSP Models: Time, Inputs, and Outputs ACM Transactions on Computational Logic | 2023-04-05 | Paper |
| Algebraic compilation of safety-critical Java bytecode Lecture Notes in Computer Science | 2022-11-04 | Paper |
| Automated Algebraic Reasoning for Collections and Local Variables with Lenses Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
| Correction to: ``Sound reasoning in \textit{tock}-CSP Acta Informatica | 2022-05-17 | Paper |
| Sound reasoning in \textit{tock}-CSP Acta Informatica | 2022-04-01 | Paper |
Research outcomes over time
This page was built for person: James Baxter
