davidk01 profile

Litany Against Software Dogma

david karapetyan・

Reactions
1 min read
davidk01 profile

Cloud Management with Prolog

david karapetyan・

chat
Reactions
3 min read
davidk01 profile

What, Why, and How of Formal Methods

david karapetyan・

chat
Reactions
8 min read
davidk01 profile

Formal Methods Meetup in Bay Area

david karapetyan・

Reactions
1 min read
davidk01 profile

Writing Multiple Drafts

david karapetyan・

Reactions
1 min read
loading...