1-5-2015:
Access forbidden!
You don't have permission to access the requested directory. There is either no index document or the directory is read-protected.
If you think this is a server error, please contact the webmaster.
Error 403
www.cs.nmsu.edu
Mon Jan 5 14:47:53 2015
Apache/2.2.29 (Linux/SUSE)
| Description: | Tcl 7.6 source code extension to add assertions for self checking programs. Package includes point assertions, procedure input assumptions, procedure output and return value assurances, and variable lifetime assertions. Additionally, quantifier commands are available to test whether an expressions holds universally or existentially over a data structure such as a list or array aggregate data structure. |
See: [L1 ]