default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Workshop on Formal Techniques for Java-like Programs (FTfJP)
FTfJP 2024: Vienna, Austria
- Luca Di Stefano:
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024. ACM 2024, ISBN 979-8-4007-1111-4 [contents]
FTfJP 2023: Seattle, WA, USA
- Aaron Tomb:
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023. ACM 2023 [contents]
FTfJP 2022: Berlin, Germany
- Henrique Rebêlo:
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2022, Berlin, Germany, 7 June 2022. ACM 2022 [contents]
FTfJP 2021: Virtual Event, Denmark
- David R. Cok:
FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Virtual Event, Denmark, 13 July 2021. ACM 2021, ISBN 978-1-4503-8543-5 [contents]
FTfJP 2020: Virtual Event
- Wytse Oortwijn:
FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. ACM 2020, ISBN 978-1-4503-8186-4 [contents]
FTfJP 2019: London, UK
- Toby Murray, Gidon Ernst
:
Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019. ACM 2019, ISBN 978-1-4503-6864-3 [contents]
FTfJP 2017: Barcelona, Spain
- Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, Barcelona, Spain, June 20, 2017. ACM 2017, ISBN 978-1-4503-5098-3 [contents]
FTfJP 2016: Rome, Italy
- Vladimir Klebanov:
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. ACM 2016, ISBN 978-1-4503-4439-5 [contents]
FTfJP 2015: Prague, Czech Republic
- Rosemary Monahan:
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, FTfJP 2015, Prague, Czech Republic, July 7, 2015. ACM 2015, ISBN 978-1-4503-3656-7 [contents]
FTfJP 2014: Uppsala, Sweden
- David J. Pearce:
Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2014, Uppsala, Sweden, July 28 - August 1, 2014. ACM 2014, ISBN 978-1-4503-2866-1 [contents]
FTfJP 2013: Montpellier, France
- Werner Dietl:
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Montpellier, France, July 1, 2013. ACM 2013, ISBN 978-1-4503-2042-9 [contents]
FTfJP 2012: Beijing, China
- Wei-Ngan Chin, Aquinas Hobor:
Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012. ACM 2012, ISBN 978-1-4503-1272-1 [contents]
FTfJP 2011: Lancaster, UK
- Stephen N. Freund:
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2011, Lancaster, United Kingdom, July 25-29, 2011. ACM 2011, ISBN 978-1-4503-0893-9 [contents]
FTfJP 2010: Maribor, Slovenia
- Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP 2010, Maribor, Slovenia, June 22, 2010. ACM 2010, ISBN 978-1-4503-0540-2 [contents]
FTfJP 2009: Genoa, Italy
- Anindya Banerjee:
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009. ACM 2009, ISBN 978-1-60558-540-6 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-29 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
