5 ms·
It's a summary of the talk at https://vimeo.com/84991949 https://vimeo.com/84991949 , where Holzmann just mentions the use of grep verbally, not giving the exac
by noselasd 11y ago
It's a summary of the talk at https://vimeo.com/84991949 https://vimeo.com/84991949 , where Holzmann just mentions the use of grep verbally, not giving the exact commands to run.
- deleted 11y ago[deleted]