Results 301 to 310 of about 47,236 (329)

Formal [4+1] Annulation Reactions in the Synthesis of Carbocyclic and Heterocyclic Systems

Chemical Reviews, 2015
Jia-Rong Chen   +2 more
exaly  

Formal Languages and Automata

2022
Laszlo Csirmaz, Zalán Gyenis
openaire   +1 more source

Formal methods

ACM Computing Surveys, 2009
James Woodcock   +2 more
exaly  

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert M Hierons   +2 more
exaly  

Home - About - Disclaimer - Privacy