Start Over
You searched for: author_facet Cavalcanti, Ana

Search Results

Cover image for Towards Autonomous Robotic Systems 26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings

Towards Autonomous Robotic Systems 26th Annual Conference, TAROS 2025, York, UK, August 20-22, 2025, Proceedings

Location
Access Content Online
Cover image for Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

Location
Access Content Online
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

Location
Access Content Online
Cover image for The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

Location
Access Content Online
Cover image for Software Engineering for Robotics

Software Engineering for Robotics

Location
Access Content Online
Cover image for Critical Systems

Critical Systems

Location
Access Content Online
Cover image for Theoretical aspects of computing-- ICTAC 2010

Theoretical aspects of computing-- ICTAC 2010

Location
Access Content Online
Cover image for FM 2009

FM 2009

Location
Access Content Online
Cover image for Formal methods and software engineering

Formal methods and software engineering

Location
Access Content Online
Cover image for Theoretical aspects of computing

Theoretical aspects of computing

Location
Access Content Online