Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
languages » language
Cover Image
Read Now

1
Published 2023
Springer Nature Switzerland
Table of Contents: “... Verification With Tight Bounds -- Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test...”