✦ LIBER ✦

A verifier for checking the conformance of programs with the GKS standard

✍ Scribed by G.E. Pfaff; R. Müller; B. Kirsch

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the development of a standard for con

✍ Dieter Hogrefe 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 459 KB

A new parameter for checking the suitabi

✍ Marion Balz; Erhard Schulte; Hans -Peter Thier 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 110 KB

Efficient algorithms for checking the eq

✍ V. L. Shcherbina; V. A. Zakharov 📂 Article 📅 2008 🏛 Allerton Press, Inc. 🌐 English ⚖ 212 KB

Conformal completion of the standard mod

✍ Chiu Man Ho, Pham Q. Hung, Thomas W. Kephart 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 303 KB

Technique for checking the correctness o

✍ Gitin, A. V. 📂 Article 📅 2000 🏛 Optical Society of America 🌐 English ⚖ 32 KB

A Check List Technique for Evaluating th

✍ Wilse B. Webb 📂 Article 📅 1948 🏛 John Wiley and Sons 🌐 English ⚖ 324 KB