Concurrent Programming, Open Systems and Formal Methods
Jose Meseguer & Carlos A. Varela & Nalini Venkatasubramanian
Hearings on Military Posture and H.R. 6495 (H.R. 6974) ... Before ...
United States. Congress. House. Committee on Armed Services
479625_1_En_Print[..]
0014323
Ecological and Environmental Physiology of Mammals
Christine E. Cooper & Shane K. Maloney & Francisco Bozinovic & Philip Carew Withers & Ariovaldo P. Cruz-Neto
Socio-Life Science and the COVID-19 Outbreak
Makoto Yano & Fumihiko Matsuda & Anavaj Sakuntabhai & Shigeru Hirota