[TUHS] Shell control through external commands

Doug McIlroy doug at cs.dartmouth.edu
Sat Jul 16 02:47:52 AEST 2016

Gerard Holzmann took the true and false commands as
the jumping-off point for "Code Inflation", an
installment of his "Reliable Code" blog and column
in IEE Software. An informative, but depressing, read:


More information about the TUHS mailing list