Hi Chris, all, > Stefano Zacchiroli recently suggested to me that we > write a paper together that we would first offer to IEEE Software. We > got into a good routine and submitted to IEEE about a fortnight ago.
Congrats on the submission! Would you have a preprint or Arxiv version we could read? Thanks! --Martin Monperrus