✦ LIBER ✦

A specification schema for indenting programs

✍ Scribed by Prabhaker Mateti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logic for Schema-Based Program Develop

✍ Martin C. Henson; Steve Reeves 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 292 KB

An XML-based schema for stochastic progr

✍ R. Fourer; H. I. Gassmann; J. Ma; R. K. Martin 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 964 KB

A specification-based functional testing

✍ RMF Roper; P Smith 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 910 KB

Genomic programs for endoderm specificat

✍ Isabelle Peter; Eric H. Davidson 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 52 KB

Modeling, specification, and verificatio

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB

An Abstract Formalization of Correct Sch

✍ Pierre Flener; Kung-Kiu Lau; Mario Ornaghi; Julian Richardson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 475 KB