Sciweavers

15727 search results - page 304 / 3146
» Software Engineering - Introduction
Sort
View
B
2007
Springer
15 years 10 months ago
The B-Method for the Construction of Microkernel-Based Systems
Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...
VLSI
2007
Springer
15 years 10 months ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...