Josu Oca
According to our database1,
Josu Oca
authored at least 2 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
CoRR, 2023