"Using a formal model of a Kanban board specified in our verification tool Repliss, we show how techniques such as…" https://t.co/fiEcrAUsKT
67 followers
1,220 followers
@daniel_bilar @InfoQ Funny, I saw a presentation by Chalmers folks this morning on verification of smart contracts :-) https://t.co/xE0rGjhU2R
39 followers
RT @isf_tubs: At the symposium for the 60th birthday of Arnd Poetzsch-Heffter, @i_schaefer gave an overview on the history of delta orienta…
94 followers
At the symposium for the 60th birthday of Arnd Poetzsch-Heffter, @i_schaefer gave an overview on the history of delta orientation. https://t.co/xBNtnCI0Ol https://t.co/2pwLZ8A7Mh