5,873 followers
@_achou @jvanegue As acknowledged by the author, the original idea was introduced in this paper from 2011 https://t.co/8oltKv1W7u
@_achou @jvanegue As acknowledged by the author, the original idea was introduced in this paper from 2011 https://t.co/8oltKv1W7u
@clancynewyork @jeanqasaur @mysdick As acknowledged by the author, the following paper introduced the original idea https://t.co/8oltKv1W7u
@Dzoukr Ono občas bohatě stačí číst si nahlas nadpisy těch paperů :) https://t.co/228D4WTZ19
気になる > "Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications" http://t.co/SYyB0ddE9O