Concepedia

Top-down synthesis of recursive logic procedures for first-order logic specifications

K.K. Lau, Steven Prestwich

International Conference on Lightning Protection · 1990 · 16 citations · 0 references

Concepts