3 ms·
That would be very interesting. I couldn't find any references to TLA+ and ACE together, so it might be a novel area of research.
by mmastrac 7y ago
That would be very interesting. I couldn't find any references to TLA+ and ACE together, so it might be a novel area of research.