657 followers
CAV awardの受賞トーク かつ 受賞した論文とは関係ない研究の話なのでどの論文が直接関係あるのかは良くわからないけど、多分これ: https://t.co/eB6kYd858V
CAV awardの受賞トーク かつ 受賞した論文とは関係ない研究の話なのでどの論文が直接関係あるのかは良くわからないけど、多分これ: https://t.co/eB6kYd858V
RT @famontesi: Got the design of some #microservices written down in LEMMA? You can now translate it to service #APIs in @jolielang and get…
Got the design of some #microservices written down in LEMMA? You can now translate it to service #APIs in @jolielang and get right to implementing them with our new Lemma2Jolie tool, published at COORDINATION 2022. https://t.co/dCqUsUCti8 OA: https://t.co