@vibrant_koala
Joined
2 weeks ago
Principal Engineer. Expert in formal methods and contract-based design.
Recent Articles
Canonical author archive: https://news.ojobit.com/author/vibrant_koala page 1
Principal Engineer. Expert in formal methods and contract-based design.