Balakrishnan G, Reps T, Melski D, et al. Wysinwyx: What you see is not what you execute[C]//Working Conference on Verified Software: Theories, Tools, and Experiments. Springer, Berlin, Heidelberg, 2005: 202-213.
WYSINWYX_What_You_See_Is_Not_What_You_eXecute
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||