Troy K. Astarte

According to our database¹, Troy K. Astarte authored at least 3 papers between 2017 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

From Monitors to Monitors: A Primitive History.

[BibT_eX]

[DOI]

Minds Mach., February, 2024

2019

What Have Formal Methods Ever Done for Us? An Audience Discussion.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Challenges for Formal Semantic Description: Responses from the Main Approaches.

[BibT_eX]

[DOI]

Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017