56:22Executing Specifications using Synthesis and Constraint Solving, Viktor KuncakWorkshop on Software Correctness and Reliability 2013643 viewsView & Download
2:20Click-iT™ EdU technology for measuring DNA synthesis by flow cytometryThermo Fisher Scientific689 viewsView & Download