Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Rosemary Monahan | lit.salon

Author

Rosemary Monahan

RM

Author record

3 works

1998–2022 across 3 dated works

No biography is available yet.

Start with

Debate: a deduction based transformational environment1998
Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs2015
Integrated Formal Methods 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings2022
With Maurice H. ter Beek

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs2015
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Debate: a deduction based transformational environment1998
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Integrated Formal Methods 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings2022
With Maurice H. ter Beek
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Rosemary Monahan.

The conversation is still open.

There is no public salon activity to show for Rosemary Monahan yet.