Login / Signup
Stuart Clancy
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Product Lines
Alternating Time Temporal Logic
Timed Automata
Data Preparation
Top Venues
COMPSAC
Big Data
From Software Engineering to Formal Methods and Tools, and Back
</>
Publications
</>