FedSearch
otini · @otini
299 followers · 2373 posts · Server functional.cafe

It's of course ”with Frama-C” and let me add a few tags:

#framac #formalmethods #deductiveverification

Last updated 6 years ago
Original post