JOT
The Journal of Object Technology
An AITO publication
ISSN 1660-1769 · DOI 10.5381/jot
Home
Contents
Masthead
Authors
Software
Special Themes
Bibtex
Crystal Chang Din
, FTfJP 2025 – Formal Techniques for Judicious Programming: Preface
@article{JOT:issue_2026_01/e2, author = {
Crystal Chang Din
}, title = {FTfJP 2025 – Formal Techniques for Judicious Programming: Preface}, journal = {Journal of Object Technology}, volume = {25}, number = {1}, issn = {1660-1769}, year = {2026}, month = March, editor = {}, note = {ECOOP 2025 Workshops}, pages = {1-2}, doi = {10.5381/jot.2026.25.1.e2}, url = {http://www.jot.fm/contents/issue_2026_01/e2.html} }
Back