RT @GPerrouin: But it is not a single paper, many follow-up works (and 2 PhD theses @maxcordy @xdevroey + 1 under-way @FortzSophie ) on ver…
127 followers
307 followers
Going further with FTS (one of the things I discovered in the paper).
1,043 followers
RT @GPerrouin: But it is not a single paper, many follow-up works (and 2 PhD theses @maxcordy @xdevroey + 1 under-way @FortzSophie ) on ver…
486 followers
But it is not a single paper, many follow-up works (and 2 PhD theses @maxcordy @xdevroey + 1 under-way @FortzSophie ) on verification and testing with FTS. See our book chapter (doi: https://t.co/BjXPpPj8H7) for a 10-year summary. 👏to FTS contributors in B