243 followers
The ins and outs of first-order runtime verification. - Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach http://t.co/hKH3gZUe7i
The ins and outs of first-order runtime verification. - Andreas Bauer 0002, Jan-Christoph Küster, Gil Vegliach http://t.co/hKH3gZUe7i