AbsInt
AbsInt is a software-development tools vendor based in Saarbrücken, Germany. The company was founded in 1998 as a technology spin-off from the Department of Programming Languages and Compiler Construction of Prof. Reinhard Wilhelm at Saarland University. AbsInt specializes in software-verification tools based on abstract interpretation. Its tools are used worldwide by Fortune 500 companies, educational institutions, government agencies and startups. Provided by Wikipedia-
1by Crozier, Walter, Whelan, Ken, Buoro, Mathieu, Chaput, Gérald, Daniels, Jason, Grant, Sue, Hyatt, Kim, Irvine, James, Ó'Maoiléidigh, Niall, Prévost, Etienne, Rivot, Etienne, Russell, Ian, Schmidt, Michael, Wells, BrianContributors: “...AbsInt GmbH (Angewandte Informatik)...”
Published 2018
Get access
Get access
Get access
Other/Unknown Material -
2by Crozier, Walter, Whelan, Ken, Buoro, Mathieu, Chaput, Gérald, Daniels, Jason, Grant, Sue, Hyatt, Kim, Irvine, James, Ó'Maoiléidigh, Niall, Prévost, Etienne, Rivot, Etienne, Russell, Ian, Schmidt, Michael, Wells, BrianContributors: “...AbsInt GmbH (Angewandte Informatik)...”
Published 2018
Get access
Get access
Get access
Other/Unknown Material -
3by Crozier, Walter, Whelan, Ken, Buoro, Mathieu, Chaput, Gérald, Daniels, Jason, Grant, Sue, Hyatt, Kim, Irvine, James, Ó'Maoiléidigh, Niall, Prévost, Etienne, Rivot, Etienne, Russell, Ian, Schmidt, Michael, Wells, BrianContributors: “...AbsInt GmbH (Angewandte Informatik)...”
Published 2018
Get access
Get access
Get access
Other/Unknown Material -
4by Crozier, Walter, Whelan, Ken, Buoro, Mathieu, Chaput, Gérald, Daniels, Jason, Grant, Sue, Hyatt, Kim, Irvine, James, Ó'Maoiléidigh, Niall, Prévost, Etienne, Rivot, Etienne, Russell, Ian, Schmidt, Michael, Wells, BrianContributors: “...AbsInt GmbH (Angewandte Informatik)...”
Published 2018
Get access
Get access
Get access
Other/Unknown Material