Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Tim A. C. Willemse | lit.salon

Author

Tim A. C. Willemse

TA

Author record

2 works

2021–2023 across 2 dated works

No biography is available yet.

Start with

Formal Techniques for Distributed Objects, Components, and Systems 41st IFIP WG 6. 1 International Conference, FORTE 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings2021
With Kirstin Peters
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings2023
With Carla Ferreira

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings2023
With Carla Ferreira
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Formal Techniques for Distributed Objects, Components, and Systems 41st IFIP WG 6. 1 International Conference, FORTE 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings2021
With Kirstin Peters
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 Tim A. C. Willemse.

The conversation is still open.

There is no public salon activity to show for Tim A. C. Willemse yet.